| Strategic Maneuvering in Argumentative Discourse, Extending the Pragma-Dialectical Theory of Argumentation |
Frans H Van Eemeren |
Christopher W Tindale |
Informal Logic |
2012-01-01 |
| Invariant descriptive set theory. Pure and applied mathematics |
Su Gao |
Samuel Coskey |
The Bulletin of Symbolic Logic |
2011-06-00 |
| Elements of automata theory |
Jacques Sakarovitch |
Jean-éric Pin |
The Bulletin of Symbolic Logic |
2011-03-00 |
| 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 |
| Proof theory for fuzzy logics. Applied Logic Series, vol. 36 |
G. Metcalfe |
Bartosz Wieckowski |
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 |
| An Introduction to Decision Theory |
Martin Peterson |
Steven Robertson |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Tool and Object: A History and Philosophy of Category Theory |
Steve Awodey |
Jirí Rosický |
The Bulletin of Symbolic Logic |
2009-09-00 |
| A Moral Logic to the Archives of Pain: Rethinking Forced Sterilization |
Michel Foucault |
Alexander E. Hooke |
Political Theory |
2009-02-10 |
| Ceteris Paribus in Conservative Belief Revision: On the Role of Minimal Change in Rational Theory Development |
Frank Zenker |
Pierre Boulos |
Informal Logic |
2009-01-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-12-01 |
| A Theory of Argument |
Mark Vorobej |
Douglas Walton |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Parameterized Complexity Theory |
J Flum |
Thomas Schwentick |
The Bulletin of Symbolic Logic |
2007-06-01 |
| The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |
Mary Tiles |
M Randall Holmes |
The Bulletin of Symbolic Logic |
2006-12-01 |
| The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives |
Calixto Badesa |
Manfred Stern |
History and Philosophy of Logic |
2006-08-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today |
Fairouz Kamareddine |
Marc Bezem |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Reductive Logic and Proof-Search -- Proof Theory, Semantics, and Control |
David J Pym |
Didier Galmiche |
The Bulletin of Symbolic Logic |
2006-06-01 |
| The Logic of History: Putting Postmodernism in Perspective |
C Behan McCullagh |
Raymond Martin |
History & Theory |
2006-05-01 |
| Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library, Vol. 313) |
Lieven Decock |
L Haaparanta |
History and Philosophy of Logic |
2006-02-01 |
| The Cambridge Controversies in Capital Theory: A Study in the Logic of Theory Development |
Jack Birner |
Avi J. Cohen |
History of Political Economy |
2005-11-01 |
| Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
Igor Lavrov |
Ewa Palka |
Studia Logica |
2005-11-01 |
| Axiomatic Set Theory |
S Sheilah |
Juris Steprans |
The Bulletin of Symbolic Logic |
2005-09-01 |
| Lectures in Logic and Set Theory, Volumes 1 and 2 |
George Tourlakis |
Joel David Hamkins |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Set Theory (The Third MIllennium Edition) |
T Jech |
Greg Hjorth |
The Bulletin of Symbolic Logic |
2005-06-01 |
| Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
Igor Lavrov |
Elliott Mendelson |
Studia Logica |
2005-04 |
| Many-Dimensional Modal Logics: Theory and Applications |
D M Gabbay |
Mark Reynolds |
The Bulletin of Symbolic Logic |
2005-03-01 |
| Sketches of an Elephant: A Topos Theory Compendium |
Peter T Johnstone |
Steve Awodey |
The Bulletin of Symbolic Logic |
2005-03-01 |
| The Foundations of Mathematics in the Theory of Sets: Encyclopedia of Mathematics and Its Applications Ser., Vol. 82 |
John P Mayberry |
O Bradley Bassler |
Notre Dame Journal of Formal Logic |
2005-01-01 |
| Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library, Vol. 313) |
Lieven Decock |
Wybo Houkes |
Algemeen Nederlands Tijdschrift voor Wijsbegeerte |
2004-04-01 |
| Model Theory of Stochastic Processes (Lecture Notes in Logic, Vol. 14) |
Sergio Fajardo |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library, Vol. 313) |
Lieven Decock |
Jan Heylen |
Tijdschrift voor Filosofie |
2004-01-01 |
| Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library, Vol. 313) |
Lieven Decock |
Paolo Valore |
Rivista di Storia della Filosofia |
2004-01-01 |
| Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 271) |
David Marker |
Bradd Hart |
The Bulletin of Symbolic Logic |
2003-09-01 |
| Trading Ontology for Ideology: The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy (Synthese Library, Vol. 313) |
Lieven Decock |
Paul Gochet |
Revue internationale de philosophie |
2003-06-01 |
| Many Sides: A Protagorean Approach to the Theory, Practice, and Pedagogy of Argument |
Michael Mendelson |
Christopher W Tindale |
Informal Logic |
2003-06-01 |
| The Structure of Values and Norms (Cambridge Studies in Probability, Induction, and Decision Theory) |
Sven Ove Hansson |
H Arlo-Costa |
History and Philosophy of Logic |
2003-01-01 |
| Order without Rules: Critical Theory and the Logic of Conversation |
David Bogen |
James J Chriss |
Human Studies |
2002-01-01 |
| A Descriptive View of Ergodic Theory Matthew Foreman M. Foreman A. S. Kechris A. Louveau B. Weiss |
Matthew Foreman |
Greg Hjorth |
The Bulletin of Symbolic Logic |
2001-12-00 |
| A Course in Model Theory. An Introduction to Contemporary Mathematical Logic Bruno Poizat Moses Klein |
Bruno Poizat |
Gregory Cherlin |
The Bulletin of Symbolic Logic |
2001-12-00 |
| Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics |
José Ferreirós |
Akihiro Kanamori |
The Bulletin of Symbolic Logic |
2001-06-00 |
| Basic Proof Theory A. S. Troelstra H. Schwichtenberg |
A. S. Troelstra |
Roy Dyckhoff |
The Bulletin of Symbolic Logic |
2001-06-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 |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Classical Recursion Theory |
P. G. Odifreddi |
Peter G. Hinman |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Categorical Logic and Type Theory |
Bart Jacobs |
R A G Seely |
The Bulletin of Symbolic Logic |
2000-06-01 |
| Epistemic Logic and the Theory of Games and Decisions |
M O L Bacharach |
Horacio Arlo-Costa |
Studia Logica |
2000-04-01 |
| Epistemic Logic and the Theory of Games and Decisions |
M. Bacharach |
Ahti Pietarinen |
Economics and Philosophy |
1999-10-01 |
| Bounded arithmetic, propositional logic, and complexity theory |
Jan Krajícek |
P. Clote |
The Journal of Symbolic Logic |
1999 |
| Proof theory of modal logic |
Heinrich Wansing |
Melvin Fitting |
The Journal of Symbolic Logic |
1999 |
| Set theory and the continuum problem |
Raymond M. Smullyan and Melvin Fitting |
James Cummings |
The Journal of Symbolic Logic |
1999 |
| Basic simple type theory |
J. Roger Hindley |
Anton Setzer |
The Journal of Symbolic Logic |
1999 |
