El Cálculo de las Lámparas
por Y. S. Tseytin · 1965
Sinopsis
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
sin portada
The Complexity of Recursive Functions
1973
sin portada
On the Formulation of Problems in Propositional Calculus
1975
Complexity of Proofs and the Complexity of Propositional Logic
1982
sin portada
An Outline of Proof Theory
1983
sin portada
Logical Foundations of Proofs
1990
sin portada
Investigation of the Complexity of Logical Formulas
1992
sin portada
Propositional Logics: Theory and Applications
1998
sin portada
A Survey of Propositional Calculi
2000
sin portada
Constructive Logic and Computational Complexity
2004
sin portada
On the Use of Trees in Propositional Calculus
2005
sin portada
Advanced Topics in Computational Logic
2010
sin portada
Foundations of Mathematical Logic
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda