Llwytho...

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

Manylion Llyfryddiaeth
Prif Awdur: Beth, Evert W.
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: Dordrecht : D.Reidel, 1962.
Pynciau:

University of Calicut

Manylion daliadau o University of Calicut
Rhif Galw: 164 BET/F
Copi Nid yw'r Statws Byw ar Gael