A mathematical introduction to logic

Bibliographische Detailangaben

1. Verfasser:	Enderton, Herbert B. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	new York [u.a.] Academic Press 1972
Schlagworte:	Logica Logique symbolique et mathématique décidabilité logique 1er ordre logique mathématique logique séquentielle Logik Logic, Symbolic and mathematical Mathematik Mathematische Logik Einführung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!