| Domains and Lambda-Calculi |
R Amadio |
René David |
2004-06-01 |
| Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Vol. 55) |
Marc Bezem |
Jürgen Giesl |
2004-06-01 |
| La filosofia di Gottlob Frege |
Nicla Vassallo |
Miriam Franchella |
2004-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 1: Dokumente und historische Analysen |
Eckehart Köhler |
Matthias Wille |
2004-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 2: Kompendium zum Werk |
Bernd Buldt |
Matthias Wille |
2004-06-01 |
| Labelled Non-Classical Logics |
Luca Vigano |
Petr Hájek |
2004-03-01 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
Risto Vilkko |
2004-03-01 |
| Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, Vol. 2500) |
Erich Grädel |
David Janin |
2004-03-01 |
| A New Kind of Science |
Stephen Wolfram |
John Baldwin |
2004-03-01 |
| Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences |
John Woods |
Philip Kremer |
2004-03-01 |
| Model Theory of Stochastic Processes (Lecture Notes in Logic, Vol. 14) |
Sergio Fajardo |
Alasdair Urquhart |
2004-03-01 |
| Computability and Logic (Fourth Edition) |
George S Boolos |
Richard Zach |
2003-12-01 |
| Fuzzy Logic: Mathematical Tools for Approximate Reasoning (Trends in Logic, Studia Logica Library 11) |
Giangiacomo Gerla |
Petr Hájek |
2003-12-01 |
| Free Logic: Selected Essays |
Karel Lambert |
David DeVidi |
2003-12-01 |
| An Introduction to Probability and Inductive Logic |
Ian Hacking |
Branden Fittelson |
2003-12-01 |
| Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland: Mit einem Essay von Jan von Plato |
Eckart Menzler-Trott |
Volker Peckhaus |
2003-12-01 |
| Relation Algebras by Games |
Robin Hirsch |
Roger D Maddux |
2003-12-01 |
| Philosophy of Logic: An Anthology |
Dale Jacquette |
William H Hanson |
2003-12-01 |
| Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 271) |
David Marker |
Bradd Hart |
2003-09-01 |
| A Mathematical Introduction to Logic |
Herbert B Enderton |
Natasha Dobrinen |
2003-09-01 |
| Euler-Diagramme: Zur Morphologie einer Repräsentationsform in der Logik |
Peter Bernhard |
Michael Beaney |
2003-09-01 |
| Paraconsistency: The Logical Way to the Inconsistent |
Walter A Carnielli |
Casey N McGinnis |
2003-09-01 |
| Inner Models and Large Cardinals |
Martin Zeman |
Ernest Schimmerling |
2003-06-01 |
| Decision Problems for Equational Theories of Relation Algebras |
H Andréka |
Roger D Maddux |
2003-03-01 |
| Logical Properties: Identity, Existence, Predication, Necessity, Truth |
Colin McGinn |
Matthew McKeon |
2003-03-01 |
| The Entwining Snake Is Reborn |
Richard Laver |
Aleš Drápal |
2002-12-00 |
| Weakly Normal Filters and the Closed Unbounded Filter on Pκλ |
Yoshihiro Abe |
Pierre Matet |
2002-06-00 |
| Singular Cardinal Problem: Shelah's Theorem on 2ℵω |
Thomas Jech |
Menachem Kojman |
2002-06-00 |
| Shelah's pcf Theory and Its Applications Maxim R. Burke Menachem Magidor |
Maxim R. Burke |
Menachem Kojman |
2002-06-00 |
| S-Spaces and L-Spaces under Martin's Axiom Z. Szentmiklóssy A. Császár |
Z. Szentmiklóssy |
Piotr Koszmider |
2002-06-00 |
| On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ1-Dense Real Order Types Uri Abraham Matatyahu Rubin Saharon Shelah |
Uri Abraham |
J. Steprāns |
2002-06-00 |
| Modal Logic Patrick Blackburn Maarten de Rijke Yde Venema |
Patrick Blackburn |
Marcus Kracht |
2002-06-00 |
| Minimum Propositional Proof Length is NP-Hard to Linearly Approximate Michael Alekhnovich Sam Buss Shlomo Moran Toniann Pitassi |
Michael Alekhnovich |
Alexander Razborov |
2002-06-00 |
| Induction Rules, Reflection Principles, and Provably Recursive Functions |
Lev D. Beklemishev |
Volker Halbach |
2002-06-00 |
| Thinking about Mathematics. The Philosophy of Mathematics |
Stewart Shapiro |
Mark Balaguer |
2002-03-00 |
| The Complexity of Linear Logic with Weakening |
Alasdair Urquhart |
Herman Ruge Jervell |
2002-03-00 |
| The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal |
W. Hugh Woodin |
Paul B. Larson |
2002-03-00 |
| Hausdorff Measures and Sets of Uniqueness for Trigonometric Series R. Dougherty A. S. Kechris |
R. Dougherty |
Howard S. Becker |
2002-03-00 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
John W. Dawson |
2002-03-00 |
| Computability. Computable Functions, Logic, and the Foundations of Mathematics Richard L. Epstein Walter A. Carnielli |
Richard L. Epstein |
Carlos Augusto Di Prisco |
2002-03-00 |
| An Invitation to Formal Reasoning. The Logic of Terms Fred Sommers George Englebretsen |
Fred Sommers |
William C. Purdy |
2002-03-00 |
| Advances in Modal Logic Marcus Kracht Maarten de Rijke Heinrich Wansing Michael Zakharyaschev |
Marcus Kracht |
Edwin D. Mares |
2002-03-00 |
| From Trotsky to Gödel. The Life of Jean van Heijenoort |
Anita Burdman Feferman |
H. B. Enderton |
2002-03-00 |
| Proto-Semantics for Positive Free Logic |
G. Aldo Antonelli |
Raymond D. Gumb |
2001-12-00 |
| On the Size of Closed Unbounded Sets |
James E. Baumgartner |
Sy D. Friedman |
2001-12-00 |
| O π-kharaktere i π-vese v bikompaktakh |
B. È. Shapirovskiǐ |
Zoltan T. Balogh |
2001-12-00 |
| Generic Graph Construction |
James E. Baumgartner |
Péter Komjáth |
2001-12-00 |
| Fragments of HA Based on Σ1-Induction |
Kai F. Wehmeier |
Helmut Pfeiffer |
2001-12-00 |
| Fine Structure and Class Forcing |
Sy D. Friedman |
M. C. Stanley |
2001-12-00 |
| Descriptive Complexity |
Neil Immerman |
Luc Segoufin |
2001-12-00 |
