- The logic book.Merrie Bergmann - 2003 - Boston, Mass.: McGraw-Hill. Edited by James Moor & Jack Nelson.details
|
|
Formal logic: its scope and limits.Richard C. Jeffrey - 1990 - Indianapolis, IN: Hackett.details
|
|
Tractatus logico-philosophicus.Ludwig Wittgenstein, G. C. M. Colombo & Bertrand Russell - 1994 - New York: Routledge. Edited by Luciano Bazzocchi & P. M. S. Hacker.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.details
|
|
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.details
|
|
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.details
|
|
Identity, variables, and impredicative definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.details
|
|
Identity Variables, and Impredicative Definitions.Jaakko Hintikka - 1956 - Journal Fo Symbolic Logic 21 (3):225-245.details
|
|
Trees and finite satisfiability: proof of a conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.details
|
|
Identität, Existenz und Reflexivität: Sprachanalytische Untersuchungen zur deskriptiven Metaphysik.Ulrich Pardey - 1994details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
What is Identity?Christopher John Fardo Williams - 1989 - Oxford, England: Clarendon Press.details
|
|
The Philosophy of Gottlob Frege.Richard L. Mendelsohn - 2005 - New York: Cambridge University Press.details
|
|