Carregant...

Completeness,compactness and undecidability /

Dades bibliogràfiques
Autor principal: Manaster,A.B
Format: Printed Book
Idioma:English
Publicat: New Jersey Prentice -Hall 1975
Col·lecció:Introduction to mathematical logic

MAT

Detall dels fons de MAT
Signatura: 510.633 MAN
Còpia Comprovació en temps real no disponible