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

MAT

Detalle de Existencias desde MAT
Número de Clasificación: 510.633 MAN
Copia Estatus de actividad no disponible