Cargando...

Completeness,compactness and undecidability /

Detalles Bibliográficos
Autor principal: Manaster,A.B
Formato: Printed Book
Lenguaje:English
Publicado: New Jersey Prentice -Hall 1975
Colección:Introduction to mathematical logic