Yüklüyor......
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
Yazar: | |
---|---|
Materyal Türü: | Printed Book |
Dil: | English |
Baskı/Yayın Bilgisi: |
Dordrecht :
D.Reidel,
1962.
|
Konular: |
University of Calicut
Yer Numarası: |
164 BET/F |
---|---|
Kopya Bilgisi | Konumu erişilebilir değil. |