Cargando…

Algebra of proofs /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Szabo, M. E.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Colección:	Studies in logic and the foundations of mathematics ; v. 88.
Temas:	Proof theory. Categories (Mathematics) Combinatory logic. Th�eorie de la preuve. Cat�egories (Math�ematiques) Logique combinatoire. MATHEMATICS > Infinity. MATHEMATICS > Logic. Combinatory logic Proof theory Beweistheorie Bewijstheorie. Categorie�en (wiskunde) Combinatorische logica.
Acceso en línea:	Texto completo Texto completo Texto completo

Descripción
Sumario:	Provability, Computability and Reflection.
Descripción Física:	1 online resource (xii, 297 pages)
Bibliografía:	Includes bibliographical references (pages 278-284) and indexes.
ISBN:	9780080954974 0080954979 9781483275420 1483275426 1283525275 9781283525275 9786613837721 6613837725