Wird geladen...

Completeness,compactness and undecidability /

Bibliographische Detailangaben
1. Verfasser: Manaster,A.B
Format: Printed Book
Sprache:English
Veröffentlicht: New Jersey Prentice -Hall 1975
Schriftenreihe:Introduction to mathematical logic

MAT

Bestandesangaben von MAT
Signatur: 510.633 MAN
Exemplar Live-Status nicht verfügbar