| A Course in Model Theory. An Introduction to Contemporary Mathematical Logic |
Bruno Poizat |
Gregory Cherlin |
The Bulletin of Symbolic Logic |
2001-12-00 |
| The Concept of Logical Consequence |
John Etchemendy |
Vann Mcgee |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Mathematical Logic |
Peter B Andrews |
Mitsuru Yasuhara |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Language, Proof and Logic |
Jon Barwise |
Patrick Grim |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Derivation and Computation. Taking the Curry-Howard Correspondence Seriously |
Harold Simmons |
Norman Danner |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Computable Structures and the Hyperarithmetical Hierarchy |
C. J. Ash |
Valentina Harizanov |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Tools and Techniques in Modal Logic |
Marcus Kracht |
Guram Bezhanishvili |
The Bulletin of Symbolic Logic |
2001-06-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 |
| In the Light of Logic |
Solomon Feferman |
G. Aldo Antonelli |
The Bulletin of Symbolic Logic |
2001-06-00 |
| Basic Proof Theory |
A. S. Troelstra |
Roy Dyckhoff |
The Bulletin of Symbolic Logic |
2001-06-00 |
| The Universal Computer. The Road from Leibniz to Turing |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2001-03-00 |
| The Power of Logic |
C. Stephen Layman |
Chris Swoyer |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 1: The Dawning Revolution |
Dirk Van Dalen |
Jan Von Plato |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Logic, Logic and Logic |
George Boolos |
Vann McGee |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics |
Yu. L. Ershov |
John N. Crossley |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 1, Recursive Model Theory |
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 |
| Nonmonotonic Reasoning |
Grigoris Antoniou |
Marek A Suchenek |
The Bulletin of Symbolic Logic |
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 |
The Bulletin of Symbolic Logic |
2000-12-01 |
| Multi-Dimensional Modal Logic (Applied Logic Series, Volume 4) |
Maarten Marx |
Dimiter Vakarelov |
The Bulletin of Symbolic Logic |
2000-12-01 |
| Metamathematics of Fuzzy Logic |
Petr Hájek |
Francis Jeffry Pelletier |
The Bulletin of Symbolic Logic |
2000-09-01 |
| Super-Real Fields: Totally Ordered Fields with Additional Structure |
H Garth Dales |
M Dickmann |
The Bulletin of Symbolic Logic |
2000-06-01 |
| Categorical Logic and Type Theory |
Bart Jacobs |
R A G Seely |
The Bulletin of Symbolic Logic |
2000-06-01 |
| Defeasible Deontic Logic |
Donald Nute |
Wiebe Van der Hoek |
The Bulletin of Symbolic Logic |
2000-03-01 |
| Logic with Trees: An Introduction to Symbolic Logic |
Colin Howson |
Graham Priest |
Studia Logica |
1999-07-01 |
| Type-logical semantics |
Bob Carpenter |
Mati Pentus |
The Journal of Symbolic Logic |
1999 |
| Philosophy of Mathematics: Structure and Ontology |
Stewart Shapiro |
Geoffrey Hellman |
The Journal of Symbolic Logic |
1999 |
| Representing and reasoning with probabilistic knowledge. A logical approach to probabilities |
Fahiem Bacchus |
Jerzy W. Grzymala-Busse |
The Journal of Symbolic Logic |
1999 |
| Naturalism in Mathematics |
Penelope Maddy |
Bob Hale |
The Journal of Symbolic Logic |
1999 |
| Extending deontic logic for the formalisation of legal rules. Law and philosophy library, vol |
Lambèr M. M. Royakkers |
Patrice Bailhache |
The Journal of Symbolic Logic |
1999 |
| Third edition of LVIII 362 |
The language of first-order logic 4.0 Jon Barwise and John Etchemendy |
Don Fallis |
The Journal of Symbolic Logic |
1999 |
| Bounded arithmetic, propositional logic, and complexity theory |
Jan Krajícek |
P. Clote |
The Journal of Symbolic Logic |
1999 |
| The logic of intentional objects. A Meinongian version of classical logic |
Jacek Paśniczek |
Dale Jacquette |
The Journal of Symbolic Logic |
1999 |
| Proof theory of modal logic |
Heinrich Wansing |
Melvin Fitting |
The Journal of Symbolic Logic |
1999 |
| Logic for applications |
Anil Nerode and Richard A. Shore |
Fahiem Bacchus |
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 |
| Subsystems of Second-Order Arithmetic |
Stephen G. Simpson |
Peter Cholak |
The Journal of Symbolic Logic |
1999 |
| Konechno aksiomatiziruemye teorii. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1997, 322 + xiv |
Mikhail G. Peretyat'Kin |
Martin Goldstern |
The Journal of Symbolic Logic |
1999 |
| Lewis Carroll (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Paul Good |
|
Keith Stenning |
The Journal of Symbolic Logic |
1999 |
| Information flow. The logic of distributed systems |
Jon Barwise and Jerry Seligman |
Maarten De Rijke |
The Journal of Symbolic Logic |
1999 |
| Logical tools for modelling legal argument. A study of defeasible reasoning in law. Law and philosophy library, vol |
Henry Prakken |
R. P. Loui |
The Journal of Symbolic Logic |
1999 |
| Theories of computability |
Nicholas Pippenger |
Hans Hüttel |
The Journal of Symbolic Logic |
1999 |
| La logique combinatoire. Qui sais-je? no. 3205 |
Jean-Pierre Ginisti |
Jonathan P. Seldin |
The Journal of Symbolic Logic |
1999 |
| Foundations for programming languages |
John C. Mitchell |
Arnon Avron |
The Journal of Symbolic Logic |
1999 |
| John P. Burgess and Gideon Rosen, A subject with no object |
|
Charles Parsons |
The Journal of Symbolic Logic |
1999 |
| Russell et le cercle ties paradoxes. Épiméthée |
Philippe de Rouilhan |
Newton C. A. da Costa |
The Journal of Symbolic Logic |
1999 |
| Basic simple type theory |
J. Roger Hindley |
Anton Setzer |
The Journal of Symbolic Logic |
1999 |
| Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science |
J.-J |
Rineke Verbrugoe |
The Journal of Symbolic Logic |
1999 |
| Interpretationen der Modallogik. Ein Beitrag zur phänomenologischen Wissenschaftstheorie |
Olav K. Wiegand |
Guillermo E Rosado Haddock |
The Journal of Symbolic Logic |
1999 |
| Introduction to the theory of computation |
Michael Sipser |
Lance Fortnow |
The Journal of Symbolic Logic |
1999 |
