| Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II Raf Cluckers Johannes Nicaise Julien Sebag |
Raf Cluckers |
Julia Gordon |
The Bulletin of Symbolic Logic |
2013-06-00 |
| Frege's Conception of Logic |
Patricia A. Blanchette |
G. Aldo Antonelli |
The Bulletin of Symbolic Logic |
2013-06-00 |
| The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein Burt C. HOPKINS |
Burt C. Hopkins |
Andrew Romiti |
The Review of Metaphysics |
2013-06-00 |
| The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein |
Burt C Hopkins |
Stefania Centrone |
History and Philosophy of Logic |
2013-05-01 |
| The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein |
Burt C. Hopkins |
Mirja Hartimo |
Husserl Studies |
2013-03-10 |
| The Vienna Circle in Hungary András Máté Miklós Rédei Friedrich Stadler |
András Máté |
Maté Szabó |
The Bulletin of Symbolic Logic |
2013-03-00 |
| The Evolution of 'Principia Mathematica': Bertrand Russell's Manuscripts and Notes for the Second Edition |
Bernard Linsky |
Christopher Pincock |
The Bulletin of Symbolic Logic |
2013-03-00 |
| Introduction to bisimulation and coinduction |
Davide Sangiorgi |
Julian Gutierrez |
The Bulletin of Symbolic Logic |
2013-03-00 |
| Finite and algorithmic model theory Javier Esparza Christian Michaux Charles Steinhorn |
Javier Esparza |
Michael Benedikt |
The Bulletin of Symbolic Logic |
2013-03-00 |
| Forcing with random variables and proof complexity |
Jan Krajícek |
Sam Buss |
The Bulletin of Symbolic Logic |
2012-12-00 |
| The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein |
Burt C. Hopkins |
Joseph K. Cosgrove |
Notre Dame Philosophical Reviews |
2012-10-21 |
| The Tarskian Turn: Deflationism and Axiomatic Truth |
Leon Horsten |
Martin Fischer |
The Bulletin of Symbolic Logic |
2012-09-00 |
| Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39 |
Enrique Casanovas |
Bradd Hart |
The Bulletin of Symbolic Logic |
2012-09-00 |
| Models and Games |
Jouko Väänänen |
Ian Hodkinson |
The Bulletin of Symbolic Logic |
2012-09-00 |
| Truth Alexis G. Burgess John P. Burgess |
Alexis G. Burgess |
Volker Halbach |
The Bulletin of Symbolic Logic |
2012-06-00 |
| The Development of Modern Logic |
Leila Haaparanta |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
2012-03-00 |
| Foundational Theories of Classical and Constructive Mathematics |
Giovanni Sommaruga |
Roy T. Cook |
The Bulletin of Symbolic Logic |
2012-03-00 |
| Algorithmic randomness and complexity. Theory and Applications of Computability Rodney G. Downey Denis R. Hirschfeldt |
Rodney G. Downey |
Laurent Bienvenu |
The Bulletin of Symbolic Logic |
2012-03-00 |
| The Evolution of Logic |
W. D. Hart |
Kenny Easwaran |
The Bulletin of Symbolic Logic |
2011-12-00 |
| Logical foundations of proof complexity Stephen Cook Phuong Nguyen |
Stephen Cook |
Albert Atserias |
The Bulletin of Symbolic Logic |
2011-09-00 |
| A framework for priority arguments |
Manuel Lerman |
George Barmpalias |
The Bulletin of Symbolic Logic |
2011-09-00 |
| Mathematics and Reality |
Mary Leng |
Juha Saatsi |
The Bulletin of Symbolic Logic |
2011-06-00 |
| Invariant descriptive set theory. Pure and applied mathematics |
Su Gao |
Samuel Coskey |
The Bulletin of Symbolic Logic |
2011-06-00 |
| Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174 |
Stevo Todorcevic |
Claude Laflamme |
The Bulletin of Symbolic Logic |
2011-06-00 |
| Kurt Gödel. Essays for his centennial |
Solomon Feferman, Charles Parsons and Stephen G. Simpson |
Matthias Wille |
The Bulletin of Symbolic Logic |
2011-03-01 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
Juliette Kennedy |
The Bulletin of Symbolic Logic |
2011-03-01 |
| Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263 |
Stevo Todorcevic |
Justin Tatch Moore |
The Bulletin of Symbolic Logic |
2011-03-00 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
Juliette Kennedy |
The Bulletin of Symbolic Logic |
2011-03-00 |
| Kurt Gödel. Essays for his centennial Solomon Feferman Charles Parsons Stephen G. Simpson |
Solomon Feferman |
Matthias Wille |
The Bulletin of Symbolic Logic |
2011-03-00 |
| Elements of automata theory |
Jacques Sakarovitch |
Jean-éric Pin |
The Bulletin of Symbolic Logic |
2011-03-00 |
| Begriff und Gegenstand: Eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken |
Wolfgang Kienzler |
Matthias Wille |
The Bulletin of Symbolic Logic |
2010-12-01 |
| Vagueness and Degrees of Truth |
Nicholas J J Smith |
Dominic Hyde |
The Bulletin of Symbolic Logic |
2010-12-01 |
| Vagueness, Logic and Ontology |
Dominic Hyde |
Nicholas J J Smith |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Proof theory for fuzzy logics. Applied Logic Series, vol. 36 |
G. Metcalfe |
Bartosz Wieckowski |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Philosophical logic |
J Michael Dunn |
Janusz Czelakowski |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Logicomix: An Epic Search for Truth |
Apostolos Doxiadis |
Paolo Mancosu |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Finite model theory and its applications. Texts in Theoretical Computer Science |
E. Grädel |
Stephan Kreutzer |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75 |
Greg Hjorth |
Howard Becker |
The Bulletin of Symbolic Logic |
2010-09-00 |
| An Introduction to Decision Theory |
Martin Peterson |
Steven Robertson |
The Bulletin of Symbolic Logic |
2010-09-00 |
| The space and motion of communicating agents |
Robin Milner |
Thomas Hildebrandt |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Spandrels of Truth |
Jc Beall |
Zach Weber |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 Katalin Bimbó J. Michael Dunn |
Katalin Bimbó |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Modal logic. An introduction to its syntax and semantics Nino B. Cocchiarella Max A. Freund |
Nino B. Cocchiarella |
Heinrich Wansing |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Introduction to Boolean algebras. Undergraduate Texts in Mathematics Steven Givant Paul Halmos |
Steven Givant |
Natasha Dobrinen |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Handbook of practical logic and automated reasoning |
John Harrison |
Alwen Tiu |
The Bulletin of Symbolic Logic |
2010-06-00 |
