| Banach-Tarski Paradox Using Pieces with the Property of Baire Randall Dougherty Matthew Foreman |
Randall Dougherty |
Stan Wagon |
2001-12-00 |
| Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion |
Thomas Strahm |
Andrea Cantini |
2001-12-00 |
| Another Pathological Well-Ordering |
L. Beklemishev |
G. Mints |
2001-12-00 |
| Analytic Equivalence Relations and Ulm-Type Classifications Greg Hjorth Alexander S. Kechris |
Greg Hjorth |
Slawomir Solecki |
2001-12-00 |
| An Introduction to Substructural Logics |
John Nolt |
Kosta Dosen |
2001-12-00 |
| A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees Masahiro Hamano Mitsuhiro Okada |
Masahiro Hamano |
Lev Gordeev |
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 |
| A Characterization of the Σ1-Definable Functions of KPω + (Uniform AC) Wolfgang Burr Volker Hartung |
Wolfgang Burr |
Reinhard Kahle |
2001-12-00 |
| O moshchnosti bikompaktov c pervoǐ aksiomoǐ schetnosti |
A. V. Arkhangel'skiǐ |
Zoltan T. Balogh |
2001-12-00 |
| The Concept of Logical Consequence |
John Etchemendy |
Vann Mcgee |
2001-09-00 |
| The Complexity of Antidifferentiation Randall Dougherty Alexander S. Kechris |
Randall Dougherty |
Gabriel Debs |
2001-09-00 |
| On the Structure of Measurable Filters on a Countable Set |
Tomek Bartoszynski |
Claude Laflamme |
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 |
| Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic |
Jeremy Avigad |
Alberto Marcone |
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 |
| An Intuitionistic Fixed Point Theory |
Wilfried Buchholz |
Erik Palmgren |
2001-09-00 |
| The Function $\lfloor a/m \rfloor$ in Sharply Bounded Arithmetic Mitsuru Tada Makoto Tatsuta |
Mitsuru Tada |
Fernando Ferreira |
2001-09-00 |
| Tools and Techniques in Modal Logic |
Marcus Kracht |
Guram Bezhanishvili |
2001-06-00 |
| Sets of Natural Numbers of Positive Density and Cylindric Set Algebras of Dimension 2 Paul Erdös Vance Faber Jean Larson |
Paul Erdös |
R. D. Maddux |
2001-06-00 |
| Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals |
Ulrich Kohlenbach |
Ulrich Berger |
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 |
| Aronszajn Trees on N2 and N3 |
Uri Abraham |
Arthur W. Apter |
2001-06-00 |
| An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to ε-Hermitian Spaces |
Fred Appenzeller |
Paul C. Eklof |
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 |
| Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection |
Toshiyasu Arai |
Jeremy Avigad |
2001-03-00 |
| On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness |
Ulrich Kohlenbach |
Lev Beklemishev |
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 |
| Logic, Logic, and Logic George Boolos Richard Jeffrey |
George Boolos |
Vann McGee |
2001-03-00 |
| Ideals on Uncountable Cardinals James E. Baumgartner Alan Taylor Stanley Wagon Angus Macintyre Leszek Pacholski Jeff Paris |
James E. Baumgartner |
Thomas Jech |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek |
Yu. L. Ershov |
John N. Crossley |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 1, Recursive Model Theory Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek |
Yu. L. Ershov |
Bakhadyr Khoussainov |
2001-03-00 |
| Defining the Turing Jump Richard A. Shore Theodore A. Slaman |
Richard A. Shore |
Carl G. Jockusch , jr. |
2001-03-00 |
| Classical Recursion Theory |
P. G. Odifreddi |
Peter G. Hinman |
2001-03-00 |
| Nonmonotonic Reasoning |
Grigoris Antoniou |
Marek A Suchenek |
2000-12-01 |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning |
Dov M Gabbay |
G Aldo Antonelli |
2000-12-01 |
| Multi-Dimensional Modal Logic (Applied Logic Series, Volume 4) |
Maarten Marx |
Dimiter Vakarelov |
2000-12-01 |
| Metamathematics of Fuzzy Logic |
Petr Hájek |
Franco Montagna |
2000-09-01 |
| Super-Real Fields: Totally Ordered Fields with Additional Structure |
H Garth Dales |
M Dickmann |
2000-06-01 |
| Categorical Logic and Type Theory |
Bart Jacobs |
R A G Seely |
2000-06-01 |
| Defeasible Deontic Logic |
Donald Nute |
Wiebe Van der Hoek |
2000-03-01 |
| Ten Papers by Arthur Apter on Large Cardinals |
Arthur W. Apter |
James W. Cummings |
2000-03-00 |
