लोड हो रहा है...

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

ग्रंथसूची विवरण
मुख्य लेखक: Beth, Evert W.
स्वरूप: Printed Book
भाषा:English
प्रकाशित: Dordrecht : D.Reidel, 1962.
विषय:

University of Calicut

होल्डिंग्स विवरण से University of Calicut
बोधानक: 164 BET/F
प्रति लाइव स्थिति उपलब्ध नहीं है