Issues of Decidability and Tractability
Witold Marciszewski (ed.)
University of Białystok (2006)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Decidability (Mathematical logic Logic, Symbolic and mathematical | |||||||||
| Categories | ||||||||||
| Call number | QA9.65.I87 2006 | |||||||||
| ISBN(s) | 9788374311083 | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Michał Walicki (2012). Introduction to Mathematical Logic. World Scientific.
Mojżesz Presburger & Dale Jabcquette (1991). On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation. History and Philosophy of Logic 12 (2):225-233.
Richard Zach (1999). Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic. Bulletin of Symbolic Logic 5 (3):331-366.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Emanuel Kieroński & Martin Otto (2012). Small Substructures and Decidability Issues for First-Order Logic with Two Variables. Journal of Symbolic Logic 77 (3):729-765.
Victor Rodych (1997). Wittgenstein on Mathematical Meaningfulness, Decidability, and Application. Notre Dame Journal of Formal Logic 38 (2):195-224.
Geraldine Brady (2000). From Peirce to Skolem: A Neglected Chapter in the History of Logic. North-Holland/Elsevier Science Bv.
Joel W. Robbin (1969/2006). Mathematical Logic: A First Course. Dover Publications.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-06-01Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

