Foundations of Mathematical Logic
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 edition. Exercises.
评论
Mathematical Foundations of Neuroscience
This book applies methods from nonlinear dynamics
Mathematical Foundations of Neuroscience
0
A Course in Mathematical Logic
A comprehensive one-year graduate (or advanced und
A Course in Mathematical Logic
0