Completeness,compactness and undecidability /

Dettagli Bibliografici
Autore principale: Manaster,A.B
Natura: Printed Book
Lingua:English
Pubblicazione: New Jersey Prentice -Hall 1975
Serie:Introduction to mathematical logic
Descrizione
Descrizione fisica:vi,154 p.

Documenti analoghi