A carregar...

Completeness,compactness and undecidability /

Detalhes bibliográficos
Autor principal: Manaster,A.B
Formato: Printed Book
Idioma:English
Publicado em: New Jersey Prentice -Hall 1975
Colecção:Introduction to mathematical logic