El Cálculo de las Lámparas
por Y. S. Tseytin · 1965
Ver sugerenciasSinopsis
Un trabajo soviético que explora una formulación alternativa del cálculo lambda, buscando simplificar su notación y comprensión a través de un sistema de representación de 'lámparas'.
Sé el primero en valorar este libro.
Más de Y. S. Tseytin
Ver autor →Otras obras del mismo autor en el catálogo
On the Generation of Models of Propositional Calculus
1967
On the Theory of Propositional Calculus
1968
Linguistic Analysis of the Structure of Mathematical Theories
1971
The Complexity of Recursive Functions
1973
On the Formulation of Problems in Propositional Calculus
1975
Complexity of Proofs and the Complexity of Propositional Logic
1982
An Outline of Proof Theory
1983
Logical Foundations of Proofs
1990
Investigation of the Complexity of Logical Formulas
1992
Propositional Logics: Theory and Applications
1998
A Survey of Propositional Calculi
2000
Constructive Logic and Computational Complexity
2004
On the Use of Trees in Propositional Calculus
2005
Advanced Topics in Computational Logic
2010
Foundations of Mathematical Logic
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.