| Frege's Conception of Logic |
Patricia A. Blanchette |
G. Aldo Antonelli |
2013-06-00 |
| The Vienna Circle in Hungary András Máté Miklós Rédei Friedrich Stadler |
András Máté |
Maté Szabó |
2013-03-00 |
| The Evolution of 'Principia Mathematica': Bertrand Russell's Manuscripts and Notes for the Second Edition |
Bernard Linsky |
Christopher Pincock |
2013-03-00 |
| Introduction to bisimulation and coinduction |
Davide Sangiorgi |
Julian Gutierrez |
2013-03-00 |
| Finite and algorithmic model theory Javier Esparza Christian Michaux Charles Steinhorn |
Javier Esparza |
Michael Benedikt |
2013-03-00 |
| Forcing with random variables and proof complexity |
Jan Krajícek |
Sam Buss |
2012-12-00 |
| The Tarskian Turn: Deflationism and Axiomatic Truth |
Leon Horsten |
Martin Fischer |
2012-09-00 |
| Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39 |
Enrique Casanovas |
Bradd Hart |
2012-09-00 |
| Models and Games |
Jouko Väänänen |
Ian Hodkinson |
2012-09-00 |
| Truth Alexis G. Burgess John P. Burgess |
Alexis G. Burgess |
Volker Halbach |
2012-06-00 |
| The Development of Modern Logic |
Leila Haaparanta |
Alasdair Urquhart |
2012-06-00 |
| Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, vol. 386 Allen L. Mann Gabriel Sandu Merlijn Sevenster |
Allen L. Mann |
Julian Bradfield |
2012-06-00 |
| Games, scales, and Suslin cardinals. The Cabal Seminar, Volume I, Lecture Notes in Logic, vol. 31 A. S. Kechris B. Löwe J. R. Steel |
A. S. Kechris |
Alessandro Andretta |
2012-03-00 |
| Foundational Theories of Classical and Constructive Mathematics |
Giovanni Sommaruga |
Roy T. Cook |
2012-03-00 |
| Algorithmic randomness and complexity. Theory and Applications of Computability Rodney G. Downey Denis R. Hirschfeldt |
Rodney G. Downey |
Laurent Bienvenu |
2012-03-00 |
| The Evolution of Logic |
W. D. Hart |
Kenny Easwaran |
2011-12-00 |
| Logical foundations of proof complexity Stephen Cook Phuong Nguyen |
Stephen Cook |
Albert Atserias |
2011-09-00 |
| A framework for priority arguments |
Manuel Lerman |
George Barmpalias |
2011-09-00 |
| Mathematics and Reality |
Mary Leng |
Juha Saatsi |
2011-06-00 |
| Invariant descriptive set theory. Pure and applied mathematics |
Su Gao |
Samuel Coskey |
2011-06-00 |
| Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174 |
Stevo Todorcevic |
Claude Laflamme |
2011-06-00 |
| Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263 |
Stevo Todorcevic |
Justin Tatch Moore |
2011-03-00 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
Juliette Kennedy |
2011-03-00 |
| Kurt Gödel. Essays for his centennial Solomon Feferman Charles Parsons Stephen G. Simpson |
Solomon Feferman |
Matthias Wille |
2011-03-00 |
| Elements of automata theory |
Jacques Sakarovitch |
Jean-éric Pin |
2011-03-00 |
| Begriff und Gegenstand: Eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken |
Wolfgang Kienzler |
Matthias Wille |
2010-12-01 |
| Vagueness and Degrees of Truth |
Nicholas J J Smith |
Dominic Hyde |
2010-12-01 |
| Vagueness, Logic and Ontology |
Dominic Hyde |
Nicholas J J Smith |
2010-12-01 |
| Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17 |
Christoph Benzmüller |
Florian Rabe |
2010-09-00 |
| Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152 |
Jaap Van Oosten |
Peter T. Johnstone |
2010-09-00 |
| Proof theory for fuzzy logics. Applied Logic Series, vol. 36 |
G. Metcalfe |
Bartosz Wieckowski |
2010-09-00 |
| Philosophical logic |
J Michael Dunn |
Janusz Czelakowski |
2010-09-00 |
| Logicomix: An Epic Search for Truth |
Apostolos Doxiadis |
Paolo Mancosu |
2010-09-00 |
| Finite model theory and its applications. Texts in Theoretical Computer Science |
E. Grädel |
Stephan Kreutzer |
2010-09-00 |
| Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75 |
Greg Hjorth |
Howard Becker |
2010-09-00 |
| An Introduction to Decision Theory |
Martin Peterson |
Steven Robertson |
2010-09-00 |
| The space and motion of communicating agents |
Robin Milner |
Thomas Hildebrandt |
2010-06-00 |
| Spandrels of Truth |
Jc Beall |
Zach Weber |
2010-06-00 |
| Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 Katalin Bimbó J. Michael Dunn |
Katalin Bimbó |
Alasdair Urquhart |
2010-06-00 |
| Modal logic. An introduction to its syntax and semantics Nino B. Cocchiarella Max A. Freund |
Nino B. Cocchiarella |
Heinrich Wansing |
2010-06-00 |
| Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33 Eckart Menzler-Trott Craig Smoryński Edward Griffor |
Eckart Menzler-Trott |
W. W. Tait |
2010-06-00 |
| Introduction to Boolean algebras. Undergraduate Texts in Mathematics Steven Givant Paul Halmos |
Steven Givant |
Natasha Dobrinen |
2010-06-00 |
| Handbook of practical logic and automated reasoning |
John Harrison |
Alwen Tiu |
2010-06-00 |
| Forcing Idealized |
J. Zapletal |
Mirna Dzamonja |
2010-06-00 |
| Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch |
Lothar Kreiser |
Matthias Wille |
2010-03-00 |
| Computability and Randomness |
André Nies |
Anthony Morphett |
2010-03-00 |
| The Princeton Companion to Mathematics Timothy Gowers June Barrow-Green Imre Leader |
Timothy Gowers |
Juliette Kennedy |
2009-12-00 |
| The Cambridge Companion to Carnap Michael Friedman Richard Creath |
Michael Friedman |
James Justus |
2009-12-00 |
| Die Logik der Unbestimmtheiten und Paradoxien |
Ulrich Blau |
Ralf Schindler |
2009-12-00 |
| Tool and Object: A History and Philosophy of Category Theory |
Steve Awodey |
Jirí Rosický |
2009-09-00 |
