| Rippling: Meta-Level Guidance for Mathematical Reasoning |
Alan Bundy |
Joe Hurd |
The Bulletin of Symbolic Logic |
2006-09-01 |
| How the Cold War Transformed Philosophy of Science: To the Icy Slopes of Logic |
George A Reisch |
Michael W Tkacz |
The Review of Metaphysics |
2006-09-01 |
| David Hilbert's Lectures on the Foundations of Geometry 1891-1902 |
Michael Hallett |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2006-09-01 |
| Primality Testing in Polynomial Time -- From Randomized Algorithms to 'PRIMES is in P' |
Martin Dietzfelbinger |
Charles Rackoff |
The Bulletin of Symbolic Logic |
2006-09-01 |
| Frege's Logic |
Danielle Macbeth |
Norma B Goethe |
The Bulletin of Symbolic Logic |
2006-09-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today |
Fairouz Kamareddine |
H C M De Swart |
Journal of Logic, Language and Information |
2006-09-01 |
| Bridges from Classical to Nonmonotonic Logic |
David Makinson |
Hykel Hosni |
The Bulletin of Symbolic Logic |
2006-09-01 |
| Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication |
Ahti-Veikko Pietarinen |
Robert W Burch |
Transactions of the Charles S. Peirce Society |
2006-09-01 |
| The Logic of Real Arguments (Second Edition) |
Alec Fisher |
C Bianchi |
History and Philosophy of Logic |
2006-08-01 |
| The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives |
Calixto Badesa |
Manfred Stern |
History and Philosophy of Logic |
2006-08-01 |
| Logical Pluralism |
J C Beall |
J M Plotkin |
History and Philosophy of Logic |
2006-08-01 |
| Introduction à l'oeuvre de S. Lesniewski: Fascicule III: La Méréologie |
Denis Miéville |
Krystyna Misiuna |
History and Philosophy of Logic |
2006-08-01 |
| Logic, Thought, and Action |
Daniel Vanderveken |
F G Asenjo |
History and Philosophy of Logic |
2006-08-01 |
| The Reach of Abduction: Insight and Trial: A Practical Logic of Cognitive Systmes, Volume 2 |
Dov M Gabbay |
Erik J Olsson |
History and Philosophy of Logic |
2006-08-01 |
| Logic (Key Concepts in Philosophy) |
Laurence Goldstein |
Mary Kate McGowan |
Philosophical Books |
2006-07-01 |
| Logic and Theism: Arguments for and against Beliefs in God |
Jordan Howard Sobel |
Robert C Koons |
Faith and Philosophy |
2006-07-01 |
| The Philosophy of the Commentators, 200-600 AD: A Sourcebook. Vol. I, Psychology (with Ethics and Religion). Vol. II, Physics. Vol. III, Logic and Metaphysics |
Richard Sorabji |
James Wilberding |
Journal of the History of Philosophy |
2006-07-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today |
Fairouz Kamareddine |
Marc Bezem |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Classical and Nonclassical Logic: An Introduction to the Mathematics of Propositions |
Eric Schechter |
Roger D Maddux |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Linear Logic in Computer Science |
T Ehrhard |
Andrzej S Murawski |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control |
David J Pym |
Didier Galmiche |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Probability and Computing: Randomized Algorithms and Probabilistic Analysis |
Michael Mitzenmacher |
Mary Cryan |
The Bulletin of Symbolic Logic |
2006-06-01 |
| The Determinacy of Long Games |
Itay Neeman |
Andrés Eduardo Caicedo |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Considering Pragma-Dialectics: A Festschrift for Frans H. Van Eemereon on the Occasion of His 60th Birthday |
Peter Houtlosser |
Christian Kock |
Informal Logic |
2006-06-01 |
| Epistemology, Logic, and Grammar in Indian Philosophical Analysis |
Bimal Matilal |
Charles Goodman |
Notre Dame Philosophical Reviews |
2006-05-19 |
| Giuseppe Peano -- Louis Couturat: Carteggio (1896-1914) |
Erika Luciano |
I Grattan-Guinness |
History and Philosophy of Logic |
2006-05-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
M Benzi |
History and Philosophy of Logic |
2006-05-01 |
| Acceptable Premises: An Epistemic Approach to an Informal Logic Problem |
James B Freeman |
S O Hansson |
History and Philosophy of Logic |
2006-05-01 |
| Ockham on Concepts |
Claude Panaccio |
S Weber-Schroth |
History and Philosophy of Logic |
2006-05-01 |
| On the Mathematical Method and Correspondence with Exner (Studien Zur Österreichischen Philosophie, Band XXXVII |
Bernard Bolzano |
S B Russ |
History and Philosophy of Logic |
2006-05-01 |
| Kardinalität und Kardinäle: Wissenschaftshistorische Aufarbeitung der Korrespondenz zwischen Georg Cantor und kathologischen Theologen seiner Zeit (Boethius: Texte und Abhandlungen zur Geschichte der Mathematik und der Naturwissenschaften, vol. 53) |
Christian Tapp |
J Pulkkinen |
History and Philosophy of Logic |
2006-05-01 |
| Oskar Becker und die Philosophie der Mathematik: Neuzeit und Gegenwart |
Volker Peckhaus |
Dirk Schlimm |
History and Philosophy of Logic |
2006-05-01 |
| Landmark Writings in Western in Western Mathematics, 1640-1940 |
I Grattan-Guinness |
Ignacio Jané |
History and Philosophy of Logic |
2006-05-01 |
| Ramsey's Legacy (Mind Association Occasional Series) |
Hallvard Lillehammer |
María J Frápolli |
History and Philosophy of Logic |
2006-05-01 |
| The Logic of History: Putting Postmodernism in Perspective |
C Behan McCullagh |
Raymond Martin |
History & Theory |
2006-05-01 |
| The Syntax of Time. The Phenomenology of Time in Greek Physics and Speculative Logic from Iamblichus to Anaximander |
Peter Manchester |
Eugene Afonasin |
Bryn Mawr Classical Review |
2006-04-01 |
| Logic and Theism: Arguments for and against Beliefs in God |
Jordan Howard Sobel |
Richard Swinburne |
Mind |
2006-04-01 |
| Heaven: The Logic of Eternal Joy |
Jerry L. Walls |
Todd Gooch |
International Journal for Philosophy of Religion |
2006-04-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman Y Salomón Feferman |
Alejandro Tomasini Bassols |
Crítica: Revista Hispanoamericana de Filosofía |
2006-04-00 |
| Phenomenology, Logic, and the Philosophy of Mathematics |
Richard Tieszen |
Stephan Käufer |
Notre Dame Philosophical Reviews |
2006-03-11 |
| Logical Lyrics: From Philosophy to Poetics |
Vincent F Hendricks |
Amirouche Moktefi |
The Bulletin of Symbolic Logic |
2006-03-01 |
| The Proper Treatment of Events |
Michiel Van Lambalgen |
Marcus Kracht |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Oskar Becker und die Philosophie der Mathematik: Neuzeit und Gegenwart |
Volker Peckhaus |
Risto Vilkko |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Heinrich Scholz: Logiker, Philosoph, Theologe |
Hans-Christoph Schmidt am Busch |
Matthias Wille |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Analytic Quotients: Memoirs of the American Mathematical Society, Vol. 148, No. 702 |
Ilijas Farah |
D H Fremlin |
The Bulletin of Symbolic Logic |
2006-03-01 |
| The Law of Non-Contradiction: New Philosophical Essays |
Graham Priest |
Francis Jeffry Pelletier |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Introducing Symbolic Logic |
Robert M Martin |
Andrew P Mills |
Teaching Philosophy |
2006-03-01 |
| Principles of Constraint Programming |
Krzysztof R Apt |
Hubie Chen |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Capital as Organic Unity: The Role of Hegel's Science of Logic in Marx's Grundrisse |
Georg W F Hegel |
G R G Mure |
The Owl of Minerva: Journal of the Hegel Society of America |
2006-03-01 |
| Logic and Theism: Arguments for and against Beliefs in God |
Jordan Howard Sobel |
Graham Oppy |
Philo |
2006-03-01 |
