Yüklüyor......

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /

Detaylı Bibliyografya
Yazar: Beth, Evert W.
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: Dordrecht : D.Reidel, 1962.
Konular:

University of Calicut

Detaylı Erişim Bilgileri University of Calicut
Yer Numarası: 164 BET/F
Kopya Bilgisi Konumu erişilebilir değil.