Springer Verlag (1976)
" There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$25.00 used (73% off) $67.35 new (26% off) $71.99 direct from Amazon (21% off) Amazon page|
References found in this work BETA
No references found.
Citations of this work BETA
On the Algebraic Structure of Primitive Recursive Functions.István Szalkai - 1985 - Mathematical Logic Quarterly 31 (35‐36):551-556.
Elementary Descent Recursion and Proof Theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
A Sequent Calculus for Relation Algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.
Similar books and articles
Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century.Jarmo Pulkkinen - 2005 - P. Lang.
From Peirce to Skolem: A Neglected Chapter in the History of Logic.Geraldine Brady - 2000 - North-Holland/Elsevier Science Bv.
Added to index2009-01-28
Total downloads18 ( #260,870 of 2,146,211 )
Recent downloads (6 months)1 ( #387,123 of 2,146,211 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.