| Alexander S. Kechris and Yiannis N. Moschovakis. Notes on the theory of scales. Cabal seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77 |
A. S. Kechris and Y. N. Moschovakis, Lecture notes in mathematics, vol. 689 |
T. Jech |
1985 |
| Alan Turing: the enigma |
Andrew Hodges |
John W. Dawson |
1985 |
| An introduction to philosophical logic |
A. C. Grayling |
Susan Haack |
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 |
1985 |
| Coding the universe |
A Beller |
Sy D. Friedman |
1985 |
| Thinking and doing. The philosophical foundations of institutions |
Hector-Neri Castañeda |
Peter Gärdenfors |
1985 |
| Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977 |
M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753 |
D. van Dalen |
1985 |
| Infinity and the mind. The science and philosophy of the infinite |
Rudy Rucker |
Joseph Shipman |
1985 |
| Axiomatising the logic of computer programming |
Robert Goldblatt |
Mitchell Wand |
1985 |
| Proper forcing |
Saharon Shelah |
S. Todorcevic |
1985 |
| Cylindric algebras |
L Henkin |
Roger Maddux |
1985 |
| Introduction to Montague semantics. Synthese language library, vol |
D R Dowty |
Paolo Dau |
1985 |
| Logic, proof, and sets |
Marvin L. Bittinger |
Anne Leggett |
1985 |
| Quality and concept |
George Bealer |
Nino B. Cocchiarella |
1985 |
| Degrees of unsolvability. Local and global theory |
Manuel Lerman |
Carl G Jockusch Jr |
1985 |
| Quine's new foundations (an introduction) |
T. E. Forster |
Urs Oswald |
1985 |
| Language and thought |
John L. Pollock |
Adam Morton |
1985 |
| Frege's theory of judgement |
David Bell |
Howard Jackson |
1985 |
| Proof methods for modal and intuitionistic logics |
Melvin Fitting |
R. A. Bull |
1985 |
| Frege's conception of numbers as objects |
Crispin Wright |
Michael Jubien |
1985 |
| Husserl and intentionattty. A study of mind, meaning, and language |
David Woodruff Smith and Ronald McIntyre |
Robert S. Tragesser |
1985 |
| The Boole-De Morgan Corrrespondence 1842-1864 |
G C Smith |
Theodore Hailperin |
1984-06-01 |
| Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973 |
H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80 |
Wim Veldman |
1984 |
| The theory of semisets |
Petr Vopenka |
Azriel Levy |
1984 |
| Nonexistent objects |
Terence Parsons |
George Bealer |
1984 |
| Hans Kamp. The paradox of the heap. Aspects of philosophical logic, Some logical forays into central notions of linguistics and philosophy |
Uwe Mönnich, Synthese library, vol. 147 |
Kenton F. Machina |
1984 |
| Equational theories and equivalences of programs |
B. Courcelle |
Steven S. Muchnick |
1984 |
| Handbook of mathematical logic |
Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90 |
Akihiro Kanamori |
1984 |
| Peter Aczel. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977 |
Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96 |
Wim Veldman |
1984 |
| Science without numbers. A defence of nominalism |
Hartry H. Field |
Kenneth L. Manders |
1984 |
| Handbook of mathematical logic |
Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90 |
Daniel Lascar |
1984 |
| Ockham's theory of truth conditions |
Alfred J. Freddoso |
John Corcoran |
1984 |
| Zermelo's axiom of choice. Its origins, development, and influence. Studies in the history of mathematics and physical sciences, vol |
Gregory H. Moore |
Jean E. Rubin |
1984 |
| The computational complexity of logical theories |
Jeanne Ferrante |
Dirk Siekes |
1984 |
| Mathematics in the alternative set theory |
Petr Vopenka |
Azriel Levy |
1984 |
| Classical prepositional operators. An exercise in the foundations of logic |
Krister Segerberg |
Richard Fleming |
1984 |
| The logic of significance and context |
Leonard Goddard |
Nino B. Cocchiarella |
1984 |
| Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975 |
Per Martin-Löf |
W A Howard |
1984 |
| Reference and generality. An examination of some medieval and modern theories |
Peter Thomas Geach |
Zeno Vendler |
1984 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
1984 |
| Reference and essence |
Nathan U. Salmon |
John Tienson |
1984 |
| The lambda calculus. Its syntax and semantics |
H. P. Barendregt |
E. Engeler |
1984 |
| Axiomatic set theory, Impredicative theories of classes |
Rolando Basim Chuaqui |
F. R. Drake |
1984 |
| Hamilton. Numbers, sets and axioms. The apparatus of mathematics |
A.G |
James Henle |
1984 |
| The Boole-De Morgan correspondence 1842–1864 |
G. C. Smith |
Theodore Hailperin |
1984 |
| Richard Jeffrey. Introduction. Studies in inductive logic and probability, Volume II |
Richard C. Jeffrey |
C. Howson |
1984 |
| Handbook of mathematical logic |
Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90 |
W. A. Howard |
1984 |
| Everything that linguists have always wanted to know about logic, but were ashamed to ask |
James D. McCawley |
W. Kent Wilson |
1984 |
| Solomon Feferman. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia |
J. N. Crossley, Lecture notes in mathematics, vol. 450 |
G. R. Renardel de Lavalette |
1984 |
| Wittgenstein on the foundations of mathematics |
Crispin Wright |
Mark Steiner |
1984 |
