| 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 |
Michiel Van Lambalgen |
Marcus Kracht |
2006-03-01 |
| Oskar Becker und die Philosophie der Mathematik: Neuzeit und Gegenwart |
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 |
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 |
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 |
Anita Burdman Feferman |
Roger D Maddux |
2005-12-01 |
| Abhandlung über die Prinzipien der Logik |
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) |
Bertrand Russell |
Alasdair Urquhart |
2005-09-01 |
| Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 |
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 |
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 |
Nicholas Griffin |
Peter Koellner |
2005-03-01 |
| A Structural Account of Mathematics |
Charles S Chihara |
Fraser MacBridge |
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 |
Solomon Feferman |
Jan Von Plato |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Jan Von Plato |
2004-12-01 |
| Handbook of the History of Logic, Volume I: Greek, Indian and Arabic Logic |
Dov M Gabbay |
Klaus Glashoff |
2004-12-01 |
| The Limits of Abstraction |
Kit Fine |
Alan Weir |
2004-12-01 |
| A Philosophical Guide to Conditionals |
Jonathan Bennett |
John P Burgess |
2004-12-01 |
| Deflating Existential Consequence: A Case for Nominalism |
Jody Azzouni |
John P Burgess |
2004-12-01 |
| Deductive Logic |
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 |
Joseph Y Halpern |
Ian Pratt-Hartmann |
2004-09-01 |
| A Hundred Years of Logical Investigations: Reform Efforts of Logic in Germany 1781-1879 |
Risto Vilkko |
Javier Legris |
2004-09-01 |
| Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s |
Dennis Hesseling |
Mark Van Atten |
2004-09-01 |
| Types and Programming Languages |
Benjamin C Peirce |
Frank Pfenning |
2004-06-01 |
| Subgroup Growth (Progress in Mathematics, Vol. 212) |
Alexander Lubotzky |
Marcus Du Sautoy |
2004-06-01 |
| Sheaves, Games, and Model Completions (Trends in Logic, Vol. 14) |
Silvio Ghilardi |
Jaap Van Oosten |
2004-06-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Mark Colyvan |
2004-06-01 |
| Fibring Logics (Oxford Logic Guides, Volume 38) |
Dov M Gabbay |
Marcus Kracht |
2004-06-01 |
| Handbook of the Logic of Argument and Inference (Studies in Logic and Practical Reasoning, Vol. 1) |
D M Gabbay |
V V Rybakov |
2004-06-01 |
