Loading...

Completeness,compactness and undecidability /

Bibliografiske detaljer
Hovedforfatter: Manaster,A.B
Format: Printed Book
Sprog:English
Udgivet: New Jersey Prentice -Hall 1975
Serier:Introduction to mathematical logic