Laddar...

Completeness,compactness and undecidability /

Bibliografiska uppgifter
Huvudupphovsman: Manaster,A.B
Materialtyp: Printed Book
Språk:English
Publicerad: New Jersey Prentice -Hall 1975
Serie:Introduction to mathematical logic

MAT

Beståndsuppgifter i MAT
Signum: 510.633 MAN
Exemplar Status otillgänglig