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

Internet

Texto completo
Texto completo
Texto completo

Error inesperado del formato de respuesta.