Formalization of Logic
Cambridge, Mass.,Harvard University Press (1943)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Semantics | |||||||||
| Categories | ||||||||||
| Call number | BC108.C28 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| 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.
John Venn (1894/1971). Symbolic Logic. New York,B. Franklin.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
Rudolf Carnap (1958). Introduction to Symbolic Logic and its Applications. New York, Dover Publications.
Rudolf Carnap (1959). Introduction to Semantics. Cambridge, Harvard University Press.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
James G. Williams (1990). On the Formalization of Semantic Conventions. Journal of Symbolic Logic 55 (1):220-243.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-05-13Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
