- Model-Baded Abduction via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.details
|
|
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
Analyzing (and synthesizing) analysis.Jaakko Hintikka - unknowndetails
|
|
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.details
|
|
Hilbert vindicated?Jaakko Hintikka - 1997 - Synthese 110 (1):15-36.details
|
|
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.details
|
|