| Primality Testing in Polynomial Time -- From Randomized Algorithms to 'PRIMES is in P' |
Martin Dietzfelbinger |
Charles Rackoff |
2006-09-01 |
| Frege's Logic 6 reviews |
Danielle Macbeth |
Norma B Goethe |
2006-09-01 |
| Bridges from Classical to Nonmonotonic Logic 3 reviews |
David Makinson |
Hykel Hosni |
2006-09-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today 2 reviews |
Fairouz Kamareddine |
Marc Bezem |
2006-06-01 |
| Classical and Nonclassical Logic: An Introduction to the Mathematics of Propositions |
Eric Schechter |
Roger D Maddux |
2006-06-01 |
| Linear Logic in Computer Science |
T Ehrhard |
Andrzej S Murawski |
2006-06-01 |
| Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control |
David J Pym |
Didier Galmiche |
2006-06-01 |
| Probability and Computing: Randomized Algorithms and Probabilistic Analysis |
Michael Mitzenmacher |
Mary Cryan |
2006-06-01 |
| The Determinacy of Long Games |
Itay Neeman |
Andrés Eduardo Caicedo |
2006-06-01 |
| Logical Lyrics: From Philosophy to Poetics |
Vincent F Hendricks |
Amirouche Moktefi |
2006-03-01 |
| The Proper Treatment of Events 2 reviews |
Michiel Van Lambalgen |
Marcus Kracht |
2006-03-01 |
| Oskar Becker und die Philosophie der Mathematik: Neuzeit und Gegenwart 3 reviews |
Volker Peckhaus |
Risto Vilkko |
2006-03-01 |
| Heinrich Scholz: Logiker, Philosoph, Theologe |
Hans-Christoph Schmidt am Busch |
Matthias Wille |
2006-03-01 |
| Analytic Quotients: Memoirs of the American Mathematical Society, Vol. 148, No. 702 |
Ilijas Farah |
D H Fremlin |
2006-03-01 |
| The Law of Non-Contradiction: New Philosophical Essays 6 reviews |
Graham Priest |
Francis Jeffry Pelletier |
2006-03-01 |
| Principles of Constraint Programming |
Krzysztof R Apt |
Hubie Chen |
2006-03-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief 8 reviews |
David Christensen |
Henry E Kyburg Jr |
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 |
2005-12-01 |
| Alfred Tarski: Life and Logic 9 reviews |
Anita Burdman Feferman and Solomon Feferman |
Roger D Maddux |
2005-12-01 |
| Abhandlung über die Prinzipien der Logik 5 reviews |
Michael Wolff |
Ignacio Angelelli |
2005-09-01 |
| Axiomatic Set Theory |
S Sheilah |
Juris Steprans |
2005-09-01 |
| Correspondance sur la philosophie, la logique et la politique avec Louis Couturat (1897-1913) 2 reviews |
Bertrand Russell |
Alasdair Urquhart |
2005-09-01 |
| Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 3 reviews |
Erich H Reck |
Michael Beaney |
2005-09-01 |
| An Introduction to Paraconsistent Logics |
Manuel Bremer |
Casey McGinnis |
2005-09-01 |
| Games, Logic, and Constructive Sets (CSLI Lecture Notes, Vol. 161) |
G Mints |
Ian Hodkinson |
2005-09-01 |
| Infinite Words: Automata, Semigroups, Logic and Games |
Dominique Perrin |
Thomas Wilke |
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 |
2005-06-01 |
| Lectures in Logic and Set Theory, Volumes 1 and 2 |
George Tourlakis |
Joel David Hamkins |
2005-06-01 |
| Set Theory (The Third MIllennium Edition) |
T Jech |
Greg Hjorth |
2005-06-01 |
| Cogwheels of the Mind: The Story of Venn Diagrams |
A W F Edwards |
Katherine Thompson |
2005-03-01 |
| Many-Dimensional Modal Logics: Theory and Applications 2 reviews |
D M Gabbay |
Mark Reynolds |
2005-03-01 |
| Logisch-philosophische Untersuchungen |
Peter Philipp |
Uwe Scheffler |
2005-03-01 |
| Consequences of the Axiom of Choice (Mathematical Surveys and Monographs, Vol. 59) |
Paul Howard |
Andreas Blass |
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 |
2005-03-01 |
| The Cambridge Companion to Bertrand Russell 10 reviews |
Nicholas Griffin |
Peter Koellner |
2005-03-01 |
| A Structural Account of Mathematics 8 reviews |
Charles S Chihara |
Fraser MacBride |
2005-03-01 |
| Sketches of an Elephant: A Topos Theory Compendium |
Peter T Johnstone |
Steve Awodey |
2005-03-01 |
| Logic Made Easy: How to Know When Language Deceives You |
Deborah J Bennett |
Richard L Epstein |
2004-12-01 |
| An Introduction to Formal Logic |
Peter Smith |
David DeVidi |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G 5 reviews |
Solomon Feferman |
Jan Von Plato |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z 5 reviews |
Solomon Feferman |
Jan Von Plato |
2004-12-01 |
| Handbook of the History of Logic, Volume I: Greek, Indian and Arabic Logic 2 reviews |
Dov M Gabbay |
Klaus Glashoff |
2004-12-01 |
| The Limits of Abstraction 12 reviews |
Kit Fine |
Alan Weir |
2004-12-01 |
| A Philosophical Guide to Conditionals 8 reviews |
Jonathan Bennett |
John P Burgess |
2004-12-01 |
| Deflating Existential Consequence: A Case for Nominalism 8 reviews |
Jody Azzouni |
John P Burgess |
2004-12-01 |
| Deductive Logic 2 reviews |
Warren Goldfarb |
Sherrilyn Roush |
2004-12-01 |
| Ocerki sotsialnoj istorii logiki v Rossii (Sketches of the Social History of Logic in Russia) |
V A Bazhanov |
Werner Stelzner |
2004-09-01 |
| Reasoning about Uncertainty 3 reviews |
Joseph Y Halpern |
Ian Pratt-Hartmann |
2004-09-01 |
| A Hundred Years of Logical Investigations: Reform Efforts of Logic in Germany 1781-1879 2 reviews |
Risto Vilkko |
Javier Legris |
2004-09-01 |
| Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s 4 reviews |
Dennis Hesseling |
Mark Van Atten |
2004-09-01 |
