Algebra of proofs /

Provability, Computability and Reflection.

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Szabo, M. E.
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Collection:Studies in logic and the foundations of mathematics ; v. 88.
Sujets:
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.
Accès en ligne:Texto completo
Texto completo
Texto completo

Internet

Texto completo
Texto completo
Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires