Linguistic Analysis of the Structure of Mathematical Theories
por Y. S. Tseytin · 1971
Sinopsis
Sé el primero en valorar este libro.
Más de Y. S. Tseytin
Ver autor →Otras obras del mismo autor en el catálogo
El Cálculo de las Lámparas
1965
On the Generation of Models of Propositional Calculus
1967
On the Theory of Propositional Calculus
1968
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
Investigation of the Complexity of Logical Formulas
1992
sin portada
Propositional Logics: Theory and Applications
1998
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
Advanced Topics in Computational Logic
2010
Foundations of Mathematical Logic
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.