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

Bibliographische Detailangaben

1. Verfasser:	Beth, Evert Willem 1908-1964 (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Dordrecht Reidel 1962
Schriftenreihe:	Synthese library 4
Schlagworte:	Logique symbolique et mathématique Logic, Symbolic and mathematical Logik Einführung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!