| Proof theory |
W P Deroever Jr |
Dag Prawitz |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Alan D. Taylor |
The Journal of Symbolic Logic |
1991 |
| Towards a Structure Theory for Ideals on $P_\kappa\lambda$ ; William S. Zwicker, A Beginning for Structural Properties of Ideals on $P_\kappa\lambda$ |
Donna M. Carr, Donald H. Pelletier, J. Steprans, S. Watson |
Alan D. Taylor |
The Journal of Symbolic Logic |
1991 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
The Journal of Symbolic Logic |
1991 |
| The theory of algorithms. English translation by M. Greendlinger of Teoriya algorifmov |
A. A. Markov and N. M. Nagorny |
Andre Scedrov |
The Journal of Symbolic Logic |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1991 |
| Peirce's Theory of Scientific Discovery: A System of Logic Conceived as Semiotic |
Richard Tursman |
Patrick Sullivan |
Journal of the History of Philosophy |
1990-04-01 |
| Attribute-Value Logic and the Theory of Grammar |
M Johnson |
R Harris |
History and Philosophy of Logic |
1990-01-01 |
| Classical recursion theory. The theory of functions and sets of natural numbers |
Piergiorgio Odifreddi |
Peter G. Hinman |
The Journal of Symbolic Logic |
1990 |
| Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19 |
J T Baldwin |
John B. Goode |
The Journal of Symbolic Logic |
1990 |
| Algebraic theory of processes |
Matthew Hennessy |
Carl A. Gunter |
The Journal of Symbolic Logic |
1990 |
| Theory of logical calculi. Basis theory of consequence operations |
Ryszard Wojicki |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1990 |
| Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles |
Daniel Lascar |
Anand Pillay |
The Journal of Symbolic Logic |
1990 |
| Algorithmic Information Theory |
Gregory J Chaitin |
Peter Gacs |
The Journal of Symbolic Logic |
1989-06-01 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| Model theory and modules |
Mike Prest |
T. G. Kucera |
The Journal of Symbolic Logic |
1989 |
| Commutator theory for congruence modular varieties |
Ralph Freese |
Matthew Valeriote |
The Journal of Symbolic Logic |
1989 |
| Relevant logics and their rivals. Part I. The basic philosophical and semantical theory |
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady |
Daniel H. Cohen |
The Journal of Symbolic Logic |
1989 |
| A Theory of Counterfactuals |
Igal Kvart |
Frank Jackson |
The Journal of Symbolic Logic |
1989 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| Notes on logic and set theory |
Roger C Lyndon |
Jerome I. Malitz |
The Journal of Symbolic Logic |
1989 |
| Logic: The Theory of Inquiry |
John Dewey |
H S Thayer |
Transactions of the Charles S. Peirce Society |
1988-09-01 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
The Journal of Symbolic Logic |
1988 |
| Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications |
L. L. Ivanov |
Dag Normann |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1988 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Theory and Measurement |
Henry E. Kyburg |
Patrick Suppes |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
The Journal of Symbolic Logic |
1988 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Logical investigations of predication theory and the problem of universals |
Nino B. Cocchiarella |
Woosuk Park |
The Journal of Symbolic Logic |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
The Journal of Symbolic Logic |
1988 |
| Techniques of admissible recursion theory |
C. T. Chong |
Anne Leggett |
The Journal of Symbolic Logic |
1987 |
| Computabitity. An introduction to recursive function theory |
Nigel Cutland |
H. B. Enderton |
The Journal of Symbolic Logic |
1987 |
| An outline of set theory |
James M. Henle |
Judith Roitman |
The Journal of Symbolic Logic |
1987 |
| Model theory and algebra, A memorial tribute to Abraham Robinson |
D. H. Saracino |
Alexander Prestel |
The Journal of Symbolic Logic |
1987 |
| Cantorian Set Theory and Limitation of Size |
Michael Hallett |
Gregory H. Moore |
The Journal of Symbolic Logic |
1987 |
| Being and Meaning: Paul Tillich's Theory of Meaning, Truth and Logic |
I. E. Thompson |
Franklin M. Mangrum |
The Review of Metaphysics |
1986-09-00 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy |
Karel Lambert |
William J. Rapaport |
The Journal of Symbolic Logic |
1986 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Fundamentals of generalized recursion theory |
Melvin Fitting |
Peter G. Hinman |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| The Theory of Categories |
Franz Brentano |
Wolfe Mays |
History and Philosophy of Logic |
1985-01-01 |
| Theory of Knowledge: The 1913 Manuscript |
Bertrand Rusell |
I Grattan-Guinness |
History and Philosophy of Logic |
1985-01-01 |
