Loading...

Completeness, compactness, and undecidability : an introduction to mathematical logic /

Bibliografiske detaljer
Hovedforfatter: Manaster, Alfred B.
Format: Printed Book
Sprog:English
Udgivet: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Fag:

University of Calicut

Detaljer om beholdninger fra University of Calicut
Klassifikationsnummer: 511/.3 MAN/C
Kopi Live Status Unavailable