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

MAT

Detalhes do Exemplar MAT
Área/Cota: 510.633 MAN
Cód. Barras: Informação em tempo real indisponível