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

Liknande verk