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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Beth, Evert Willem (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
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!

Beschreibung
Beschreibung:	XIV, 170 S.