| Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202 Vladimir Kanovei Marcin Sabok Jindřich Zapletal |
Vladimir Kanovei |
Clinton T. Conley |
2016-09-00 |
| The Collected Papers of Bertrand Rusell, Volume 5: Toward Principia Mathematica, 1905-1908 |
Gregory H Moore |
Edwin Mares |
2016-06-01 |
| The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19 |
Kenneth Kunen |
Steffen Lempp |
2016-06-00 |
| The Collected Papers of Bertrand Russell, Volume 5: Toward "Principia Mathematica" |
Gregory H. Moore |
Edwin Mares |
2016-06-00 |
| Simplicity Theory. Oxford Logic Guides, 53 |
Byunghan Kim |
Martin Hils |
2016-06-00 |
| Proof Theory: Sequent Calculi and Related Formalisms |
Katalin Bimbó |
Thomas Strahm |
2016-06-00 |
| Two articles on the classification of separable C*-algebras |
G. A. Elliott |
Samuel Coskey |
2015-12-00 |
| Model theory of operator algebras |
Ilijas Farah |
Itaï Ben Yaacov |
2015-12-00 |
| Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28 |
Denis R. Hirschfeldt |
Jeffry L. Hirst |
2015-09-00 |
| Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 |
Itay Neeman |
Dima Sinapova |
2015-09-00 |
| A Course in Model Theory. Lecture Notes in Logic, vol. 40 K. Tent M. Ziegler |
K. Tent |
Bradd Hart |
2015-09-00 |
| Recent papers on the tree property. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), The tree property at ℵ ω+1 . Journal of Symbolic Logic, vol. 77, no. 1 (2012), The tree property and the failure of SCH at uncountable confinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), The tree property and the failure of the Singular Cardinal Hypothesis at ${\mathrm{\aleph }}_{{\mathrm{\omega }}^{2}}$ . Journal of Symbolic Logic, vol. 77, no. 3 (2012), Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), The tree property up to ℵ ω+1 . Journal of Symbolic Logic. vol. 79, no. 2 (2014) Itay Neeman Dima Sinapova Spencer Unger |
Itay Neeman |
James Cummings |
2015-06-00 |
| Logic in Games Johan van Benthem |
Johan Van Bentham |
Sebastian Sequoiah-Grayson |
2014-12-00 |
| Dense Sphere Packings: A Blueprint for Formal Proofs |
Thomas Hales |
Jeremy Avigad |
2014-12-00 |
| Three papers on the reverse mathematics of Jullien's Indecomposability Theorem |
Antonio Montalbán |
Henry Towsner |
2014-09-00 |
| Recent developments in model theory, Notre Dame Journal of Formal Logic, vol. 54, nos. 3-4 |
Dugald Macpherson |
Dugald Macpherson |
2014-09-00 |
| Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number) |
Ulrich Pardey |
Bernd Buldt |
2014-09-00 |
| David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 William Ewald Wilfried Sieg |
William Ewald |
Jan Von Plato |
2014-09-00 |
| Two papers by Ulrich Felgner on the history of mathematics |
Ulrich Felgner |
Steffen Lempp |
2014-06-00 |
| Logic: The laws of truth |
Nicholas J. J. Smith |
Jennifer Duke-Yonge |
2014-06-00 |
| Normenlogik. Grundlagen-Systeme-Anwendungen |
Edgar Morscher |
Stefania Centrone |
2014-03-01 |
| Normenlogik. Grundlagen — Systeme — Anwendungen |
Edgar Morscher |
Stefania Centrone |
2014-03-00 |
| Lecture Note Series of the London Mathematical Society, vol. 406 James Cummings Ernest Schimmerling |
James Cummings |
Natasha Dobrinen |
2014-03-00 |
| Gingerbread nuts and pebbles: Frege and the Neo-Kantians: Two recently discovered documents. British Journal for the History of Philosophy, vol. 21 Sven Schlotter Kai F. Wehmeier |
Sven Schlotter |
Matthias Wille |
2014-03-00 |
| Defending the Axioms: On the philosophical foundations of set theory |
Penelope Maddy |
Juliette Kennedy |
2014-03-00 |
| Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, vol. 37 A. S. Kechris B. Löwe J. R. Steel |
A. S. Kechris |
Grigor Sargsyan |
2013-12-00 |
| Ernst Zermelo: Collected Works. Gesammelte Werke. Volume I: Set Theory, Miscellania. Mengenlehre, Varia H.-D. Ebbinghaus A. Kanamori |
H.-d. Ebbinghaus |
Volker Peckhaus |
2013-12-00 |
| Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 |
L. A. Levin |
Jan Reimann |
2013-09-00 |
| Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 Bruno Courcelle Joost Engelfriet |
Bruno Courcelle |
Achim Blumensath |
2013-09-00 |
| An introduction to the philosophy of mathematics |
Mark Colyvan |
Richard Pettigrew |
2013-09-00 |
| A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 |
Uri Andrews |
Alexander G. Melnikov |
2013-09-00 |
| 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 |
2013-06-00 |
| 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 |
| Lowness properties and randomness. Advances in Mathematics, vol. 197 |
André Nies |
Johanna N. Y. Franklin |
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. London Mathematical Society Lecture Note Series, vol. 232 |
Jan Krajícek |
Sam Buss |
2012-12-00 |
| Automatic complexity of strings. Journal of Automata, Languages and Combinatorics, vol. 6 Jeffrey Shallit Ming-wei Wang |
Jeffrey Shallit |
Mia Minnes |
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. Cambridge Studies in Advanced Mathematics, vol. 132 |
Jouko Väänänen |
Ian Hodkinson |
2012-09-00 |
| Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33 |
Alasdair Urquhart |
Matthias Wille |
2012-09-00 |
| The importance of $\Pi _1^0$ classes in effective randomness. The Journal of Symbolic Logic, vol. 75 George Barmpalias Andrew E. M. Lewis Keng Meng Ng |
George Barmpalias |
Douglas Cenzer |
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 |
| Frege on indirect proof. History and Philosophy of Logic, vol. 32 |
Ivan Welty |
Matthias Wille |
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 |
