| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Situations and Attitudes |
Jon Barwise and John Perry |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
1986 |
| Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1986 |
| A companion to modal logic |
G E Hughes |
Johan Van Benthem |
The Journal of Symbolic Logic |
1986 |
| The Development of Logic |
William Kneale and Martha Kneale |
Benson Mates |
The Journal of Symbolic Logic |
1986 |
| Fundamentals of generalized recursion theory |
Melvin Fitting |
Peter G. Hinman |
The Journal of Symbolic Logic |
1986 |
| The logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
The Journal of Symbolic Logic |
1986 |
| Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku |
Abram Aronovich Stolyar |
Diane Resek |
The Journal of Symbolic Logic |
1986 |
| Logic: form and function. The mechanization of deductive reasoning |
J. A. Robinson |
J. D. Halpern |
The Journal of Symbolic Logic |
1986 |
| Situations and Attitudes |
Jon Barwise and John Perry |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
1986 |
| The Development of Logic |
William Kneale and Martha Kneale |
Benson Mates |
The Journal of Symbolic Logic |
1986 |
| The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A |
Jon Barwise |
William S. Hatcher |
The Journal of Symbolic Logic |
1986 |
| A course in mathematical logic. Translated from the Russian by Neal Koblitz |
Yu. I. Manin |
George Boolos |
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 logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
The Journal of Symbolic Logic |
1986 |
| Mechanism, Mentalism, and Metamathematics: An Essay on Finitism |
Judson Chambers Webb |
Stewart Shapiro |
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 |
| Semantical investigations in Heyting's intuitionistic logic |
Dov M. Gabbay |
Wim Veldman |
The Journal of Symbolic Logic |
1986 |
| Oblique Contexts |
Leonard Linsky |
John Tienson |
The Journal of Symbolic Logic |
1986 |
| Topoi. The categorial analysis of logic |
Robert Goldblatt |
Philip J. Scott |
The Journal of Symbolic Logic |
1986 |
| Mechanism, Mentalism, and Metamathematics: An Essay on Finitism |
Judson Chambers Webb |
Stewart Shapiro |
The Journal of Symbolic Logic |
1986 |
| Husserl and Intentionality |
D W Smith |
Robert S Tragesser |
The Journal of Symbolic Logic |
1985-12-01 |
| Forcing and Classifying Topoi |
Andrej Scedrov |
Peter T Johnstone |
The Journal of Symbolic Logic |
1985-09-01 |
| Cylindric Set Algebras and Related Structures |
L Henkin |
Roger Maddux |
The Journal of Symbolic Logic |
1985-03-01 |
| Paradoxes: A Study in Form and Predication |
James Cargile |
John Hawthorn |
The Journal of Symbolic Logic |
1985 |
| Causal Necessity |
Brian Skyrms |
Richard C. Jeffrey |
The Journal of Symbolic Logic |
1985 |
| Boole's logic and probability. A critial exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
The Journal of Symbolic Logic |
1985 |
| Cabal seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77 |
A. S. Kechris |
T. Jech |
The Journal of Symbolic Logic |
1985 |
| Alan Turing: the enigma |
Andrew Hodges |
John W. Dawson |
The Journal of Symbolic Logic |
1985 |
| An Introduction to Philosophical Logic |
A. C. Grayling |
Susan Haack |
The Journal of Symbolic Logic |
1985 |
| John Buridan on self-reference. Chapter Eight of Buridan's Sophismata, with a translation, an introduction, and a philosophical commentary |
G. E. Hughes |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1985 |
| Coding the universe |
A Beller |
Sy D. Friedman |
The Journal of Symbolic Logic |
1985 |
| Thinking and doing. The philosophical foundations of institutions |
Hector-Neri Castañeda |
Peter Gärdenfors |
The Journal of Symbolic Logic |
1985 |
| Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21 |
M. P. Fourman |
D. van Dalen |
The Journal of Symbolic Logic |
1985 |
| Infinity and the mind. The science and philosophy of the infinite |
Rudy Rucker |
Joseph Shipman |
The Journal of Symbolic Logic |
1985 |
| Axiomatising the logic of computer programming |
Robert Goldblatt |
Mitchell Wand |
The Journal of Symbolic Logic |
1985 |
| Proper forcing |
Saharon Shelah |
S. Todorcevic |
The Journal of Symbolic Logic |
1985 |
| Cylindric algebras |
L Henkin |
Roger Maddux |
The Journal of Symbolic Logic |
1985 |
| Introduction to Montague semantics. Synthese language library, vol |
D R Dowty |
Paolo Dau |
The Journal of Symbolic Logic |
1985 |
| Logic, proof, and sets |
Marvin L. Bittinger |
Anne Leogett |
The Journal of Symbolic Logic |
1985 |
| Quality and Concept |
George Bealer |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
1985 |
| Degrees of unsolvability. Local and global theory |
Manuel Lerman |
Carl G Jockusch Jr |
The Journal of Symbolic Logic |
1985 |
| Quine's new foundations (an introduction) |
T. E. Forster |
Urs Oswald |
The Journal of Symbolic Logic |
1985 |
| Language and Thought |
John L. Pollock |
Adam Morton |
The Journal of Symbolic Logic |
1985 |
| Frege's Theory of Judgement |
David Bell |
Howard Jackson |
The Journal of Symbolic Logic |
1985 |
| Proof methods for modal and intuitionistic logics |
Melvin Fitting |
R. A. Bull |
The Journal of Symbolic Logic |
1985 |
| Frege's Conception of Numbers as Objects |
Crispin Wright |
Michael Jubien |
The Journal of Symbolic Logic |
1985 |
| Husserl and intentionattty. A study of mind, meaning, and language |
David Woodruff Smith and Ronald McIntyre |
Robert S. Tragesser |
The Journal of Symbolic Logic |
1985 |
| Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July |
H. E. Rose |
Wim Veldman |
The Journal of Symbolic Logic |
1984 |
