| 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 |
| Modal Logic Patrick Blackburn Maarten de Rijke Yde Venema |
Patrick Blackburn |
Marcus Kracht |
2002-06-00 |
| Thinking about Mathematics: The Philosophy of Mathematics |
Stewart Shapiro |
Mark Balaguer |
2002-03-00 |
| The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal |
W. Hugh Woodin |
Paul B. Larson |
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 |
| Fine Structure and Class Forcing |
Sy D. Friedman |
M. C. Stanley |
2001-12-00 |
| Descriptive Complexity |
Neil Immerman |
Luc Segoufin |
2001-12-00 |
| An Introduction to Substructural Logics |
John Nolt |
Kosta Dosen |
2001-12-00 |
| A Descriptive View of Ergodic Theory Matthew Foreman M. Foreman A. S. Kechris A. Louveau B. Weiss |
Matthew Foreman |
Greg Hjorth |
2001-12-00 |
| A Course in Model Theory. An Introduction to Contemporary Mathematical Logic Bruno Poizat Moses Klein |
Bruno Poizat |
Gregory Cherlin |
2001-12-00 |
| The Concept of Logical Consequence |
John Etchemendy |
Vann Mcgee |
2001-09-00 |
| Mathematical Logic |
Peter B Andrews |
Mitsuru Yasuhara |
2001-09-00 |
| Language, Proof and Logic Jon Barwise John Etchemendy |
Jon Barwise |
Patrick Grim |
2001-09-00 |
| Derivation and Computation. Taking the Curry-Howard Correspondence Seriously |
Harold Simmons |
Norman Danner |
2001-09-00 |
| Computable Structures and the Hyperarithmetical Hierarchy C. J. Ash J. Knight |
C. J. Ash |
Valentina Harizanov |
2001-09-00 |
| Tools and Techniques in Modal Logic |
Marcus Kracht |
Guram Bezhanishvili |
2001-06-00 |
| Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics |
José Ferreirós |
Akihiro Kanamori |
2001-06-00 |
| In the Light of Logic |
Solomon Feferman |
G. Aldo Antonelli |
2001-06-00 |
| Basic Proof Theory A. S. Troelstra H. Schwichtenberg |
A. S. Troelstra |
Roy Dyckhoff |
2001-06-00 |
| The Universal Computer. The Road from Leibniz to Turing |
Martin Davis |
John W. Dawson |
2001-03-00 |
| The Power of Logic |
C. Stephen Layman |
Chris Swoyer |
2001-03-00 |
| Mystic, Geometer, and Intuitionist. The Life of L. E. J. Brouwer. Volume 1. The Dawning Revolution Dirk van Dalen |
Dirk Van Dalen |
Jan Von Plato |
2001-03-00 |
