Completeness,compactness and undecidability /

Bibliografiset tiedot
Päätekijä: Manaster,A.B
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: New Jersey Prentice -Hall 1975
Sarja:Introduction to mathematical logic
Kuvaus
Ulkoasu:vi,154 p.

Samankaltaisia teoksia