Dover Publications (1963)
|Abstract||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.|
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$3.99 used (85% off) $13.22 new (48% off) $19.51 direct from Amazon (22% off) Amazon page|
|Call number||QA9.C85 1977|
|Through your library||Configure|
Similar books and articles
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.
A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Joel W. Robbin (1969/2006). Mathematical Logic: A First Course. Dover Publications.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Added to index2009-01-28
Total downloads22 ( #62,675 of 722,863 )
Recent downloads (6 months)1 ( #60,917 of 722,863 )
How can I increase my downloads?