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:

UL

Beståndsuppgifter i UL
Signum: 51 MAN
Exemplar Status otillgänglig