Laddar...

Completeness, Compactness and unddecidability; An introduction to mathematical logic.

Bibliografiska uppgifter
Huvudupphovsman: Manaster, Alfred B
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersey Prentice-Hall of India 1975
Ämnen:
Beskrivning
Beskrivning:
Fysisk beskrivning:vi, 154 p. Bibliog.p. 149 - 150