Haskell B. Curry “Foundations of Mathematical Logic" Dover Publications 1977-06-01 ISBN: 0486634620 416 pages Djvu 4,3 MB 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.depositfiles.com
easy-share
filefactory
Aucun commentaire:
Enregistrer un commentaire