Foundations of mathematical logic

Foundations of mathematical logic
Автор
 
Год
 
Страниц
 
417
ISBN
 
ISBN10:0486634620
Издатель
 
Dover Publications

Описание:

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Похожие книги

Evolutionary Algorithms in Theory and PracticeEvolutionary Algorithms in Theory and Practice
Автор: Thomas Bäck
Год: 1996
Applied dynamic programming for optimization of dynamical systemsApplied dynamic programming for optimization of dynamical systems
Автор: Rush D. Robinett III
Год: 2005
Applied dynamic programming for optimization of dynamical systemsApplied dynamic programming for optimization of dynamical systems
Автор: Rush D. Robinett III
Год: 2005
The algorithm design manualThe algorithm design manual
Автор: Steven S. Skiena
Год: 2008
WALCOM: Algorithms and Computation, 2 conf., WALCOM 2008WALCOM: Algorithms and Computation, 2 conf., WALCOM 2008
Год: 2008
Algorithms and Complexity, 6 conf., CIAC 2006Algorithms and Complexity, 6 conf., CIAC 2006
Год: 2006