| The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |
Mary Tiles |
M Randall Holmes |
The Bulletin of Symbolic Logic |
2006-12-01 |
| Rippling: Meta-Level Guidance for Mathematical Reasoning |
Alan Bundy |
Joe Hurd |
The Bulletin of Symbolic Logic |
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 |
| Bridges from Classical to Nonmonotonic Logic |
David Makinson |
Hykel Hosni |
The Bulletin of Symbolic Logic |
2006-09-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 |
| 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 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Henry E Kyburg Jr |
The Bulletin of Symbolic Logic |
2005-12-01 |
| The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma |
B Jack Copeland |
Jan Obdrzálek |
The Bulletin of Symbolic Logic |
2005-12-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Roger D Maddux |
The Bulletin of Symbolic Logic |
2005-12-01 |
| Abhandlung über die Prinzipien der Logik |
Michael Wolff |
Ignacio Angelelli |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Axiomatic Set Theory |
S Sheilah |
Juris Steprans |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Correspondance sur la philosophie, la logique et la politique avec Louis Couturat (1897-1913) |
Bertrand Russell |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 |
Erich H Reck |
Michael Beaney |
The Bulletin of Symbolic Logic |
2005-09-01 |
| An Introduction to Paraconsistent Logics |
Manuel Bremer |
Casey McGinnis |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Games, Logic, and Constructive Sets (CSLI Lecture Notes, Vol. 161) |
G Mints |
Ian Hodkinson |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Infinite Words: Automata, Semigroups, Logic and Games |
Dominique Perrin |
Thomas Wilke |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman (Lecture Notes in Logic, Vol. 15) |
Wilfred Sieg |
David Charles McCarty |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Lectures in Logic and Set Theory, Volumes 1 and 2 |
George Tourlakis |
Joel David Hamkins |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Set Theory (The Third MIllennium Edition) |
T Jech |
Greg Hjorth |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Cogwheels of the Mind: The Story of Venn Diagrams |
A W F Edwards |
Katherine Thompson |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Many-Dimensional Modal Logics: Theory and Applications |
D M Gabbay |
Mark Reynolds |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Logisch-philosophische Untersuchungen |
Peter Philipp |
Uwe Scheffler |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Consequences of the Axiom of Choice (Mathematical Surveys and Monographs, Vol. 59) |
Paul Howard |
Andreas Blass |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Relevant Logics and Their Rivals, Volume II: A Continuation of the Work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady |
Ross Brad |
Nicholas Griffin |
The Bulletin of Symbolic Logic |
2005-03-01 |
| The Cambridge Companion to Bertrand Russell |
Nicholas Griffin |
Peter Koellner |
The Bulletin of Symbolic Logic |
2005-03-01 |
| A Structural Account of Mathematics |
Charles S Chihara |
Fraser MacBride |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Sketches of an Elephant: A Topos Theory Compendium |
Peter T Johnstone |
Steve Awodey |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Logic Made Easy: How to Know When Language Deceives You |
Deborah J Bennett |
Richard L Epstein |
The Bulletin of Symbolic Logic |
2004-12-01 |
| An Introduction to Formal Logic |
Peter Smith |
David DeVidi |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Handbook of the History of Logic, Volume I: Greek, Indian and Arabic Logic |
Dov M Gabbay |
Klaus Glashoff |
The Bulletin of Symbolic Logic |
2004-12-01 |
| The Limits of Abstraction |
Kit Fine |
Alan Weir |
The Bulletin of Symbolic Logic |
2004-12-01 |
| A Philosophical Guide to Conditionals |
Jonathan Bennett |
John P Burgess |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Deflating Existential Consequence: A Case for Nominalism |
Jody Azzouni |
John P Burgess |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Deductive Logic |
Warren Goldfarb |
Sherrilyn Roush |
The Bulletin of Symbolic Logic |
2004-12-01 |
