Natural Deduction
Belmont, Calif.,Wadsworth Pub. Co. (1962)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Metamathematics | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Call number | BC71.A6 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAlfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
S. W. P. Steen (1972). Mathematical Logic with Special Reference to the Natural Numbers. Cambridge [Eng.]University Press.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
P. H. Nidditch (1957). Introductory Formal Logic of Mathematics. Glencoe, Ill.,Free Press.
Kurt[from old catalog] Schütte (1962). Lecture Notes in Mathematical Logic. University Park, Dept. Of Mathematics, Pennsylvania State University.
Francis Jeffry Pelletier (1999). A Brief History of Natural Deduction. History and Philosophy of Logic 20 (1):1-31.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
