Deducibility and decidability /

Mostrar otras versiones (1)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Gill, R. R. Rockingham, 1944-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Routledge, 1990.
Temas:
Logic, Symbolic and mathematical.
Decidability (Mathematical logic)
Logique symbolique et mathématique.
Décidabilité (Logique mathématique)
PHILOSOPHY > Logic.
Mathematical logic
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource (viii, 162 pages)
Bibliografía:Includes bibliographical references (pages 150-155) and index.
ISBN:0203015096
9780203015094
9786610110414
6610110417
9781134989980
1134989989
9781134989935
1134989938
9781134989973
1134989970
9780415754965
0415754968

Ejemplares similares