| The theory of semisets |
Petr Vopenka |
Azriel Levy |
The Journal of Symbolic Logic |
1984 |
| Nonexistent Objects |
Terence Parsons |
George Bealer |
The Journal of Symbolic Logic |
1984 |
| Aspects of philosophical logic, Some logical forays into central notions of linguistics and philosophy |
Uwe Mönnich |
Kenton F. Machina |
The Journal of Symbolic Logic |
1984 |
| Equational theories and equivalences of programs |
B. Courcelle |
Steven S. Muchnick |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1984 |
| Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August |
Angus Macintyre |
Wim Veldman |
The Journal of Symbolic Logic |
1984 |
| Science without numbers. A defence of nominalism |
Hartry H. Field |
Kenneth L. Manders |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
Daniel Lascar |
The Journal of Symbolic Logic |
1984 |
| Ockham's theory of truth conditions |
Alfred J. Freddoso |
John Corcoran |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1984 |
| The computational complexity of logical theories |
Jeanne Ferrante |
Dirk Siefkes |
The Journal of Symbolic Logic |
1984 |
| Mathematics in the alternative set theory |
Petr Vopenka |
Azriel Levy |
The Journal of Symbolic Logic |
1984 |
| Classical prepositional operators. An exercise in the foundations of logic |
Krister Segerberg |
Richard Fleming |
The Journal of Symbolic Logic |
1984 |
| The Logic of Significance and Context |
Leonard Goddard |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
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 |
Per Martin-Löf |
Wim Veldman |
The Journal of Symbolic Logic |
1984 |
| Reference and generality. An examination of some medieval and modern theories |
Peter Thomas Geach |
Zeno Vendler |
The Journal of Symbolic Logic |
1984 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| Reference and Essence |
Nathan U. Salmon |
John Tienson |
The Journal of Symbolic Logic |
1984 |
| The lambda calculus. Its syntax and semantics |
H. P. Barendregt |
E. Engeler |
The Journal of Symbolic Logic |
1984 |
| Axiomatic set theory, Impredicative theories of classes |
Rolando Basim Chuaqui |
F. R. Drake |
The Journal of Symbolic Logic |
1984 |
| Hamilton. Numbers, sets and axioms. The apparatus of mathematics |
A.G |
James Henle |
The Journal of Symbolic Logic |
1984 |
| The Boole-De Morgan correspondence 1842–1864 |
G C Smith |
Theodore Hailperin |
The Journal of Symbolic Logic |
1984 |
| Richard Jeffrey. Introduction. Studies in inductive logic and probability, Volume II |
Richard C. Jeffrey |
C. Howson |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
W. A. Howard |
The Journal of Symbolic Logic |
1984 |
| Everything that linguists have always wanted to know about logic, but were ashamed to ask |
James D. McCawley |
W. Kent Wilson |
The Journal of Symbolic Logic |
1984 |
| Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia |
J. N. Crossley |
G. R. Renardel de Lavalette |
The Journal of Symbolic Logic |
1984 |
| Wittgenstein on the Foundations of Mathematics |
Crispin Wright |
Mark Steiner |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1984 |
| Infinitesimalkalkül |
Detlef Laugwitz |
H J M Boston |
The Journal of Symbolic Logic |
1983-03-01 |
| An outline of the logical theory of questions |
Tadeusz Kubiński |
David Harrah |
The Journal of Symbolic Logic |
1983 |
| The Logic of Common Nouns: An Investigation in Quantified Modal Logic |
Anil Gupta |
Frank Vlach |
The Journal of Symbolic Logic |
1983 |
| Recursion-theoretic hierarchies |
Peter G. Hinman |
Wayne Richter |
The Journal of Symbolic Logic |
1983 |
| An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej |
Andrzej Grzegorczyk |
E G K López-escobar |
The Journal of Symbolic Logic |
1983 |
| Set theory and hierarchy theory V, Bierutowice, Poland |
A. Lachlan |
Stephen G. Simpson |
The Journal of Symbolic Logic |
1983 |
| Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol |
Hubert C. Kennedy |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1983 |
| Gödel, Escher, Bach: An Eternal Golden Braid |
Douglas R. Hofstadter |
Judson C. Webb |
The Journal of Symbolic Logic |
1983 |
| La logique au service du droit. Étude de logique contemporaine pour une meilleure communication de la pensée juridique |
Paul-Henri Steinauer |
Jan Woleński |
The Journal of Symbolic Logic |
1983 |
| Brouwer's Cambridge lectures on intuitionism. Edited by D. van Dalen |
L. E. J. Brouwer |
R. J. Grayson |
The Journal of Symbolic Logic |
1983 |
| Linear orderings |
Joseph G. Rosenstein |
Dale Myers |
The Journal of Symbolic Logic |
1983 |
| Natural logic |
Neil Tennant |
Wilfried Sieg |
The Journal of Symbolic Logic |
1983 |
| Computers and intractability |
Michael R Garey |
Harry R. Lewis |
The Journal of Symbolic Logic |
1983 |
| 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 |
Dirk van Dalen |
The Journal of Symbolic Logic |
1983 |
| Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol |
David R. Dowty |
F. Guenthner |
The Journal of Symbolic Logic |
1983 |
| The New Elements of Mathematics, V4 |
Charles S Peirce |
Jay Zeman |
The Journal of Symbolic Logic |
1982-09-01 |
| The New Elements of Mathematics, V3 |
Charles S Peirce |
Jay Zeman |
The Journal of Symbolic Logic |
1982-09-01 |
| The Nature of Causation |
Myles Brand |
Frank Jackson |
The Journal of Symbolic Logic |
1982-06-01 |
| Nonstandard Analysis and Philosophy, v2 |
W A J Luxemburg |
Martin Davis |
The Journal of Symbolic Logic |
1982-03-01 |
| The logic of inconsistency. A study in non-standard possible-world semantics and ontology |
Nicholas Rescher |
David Makinson |
The Journal of Symbolic Logic |
1982 |
| Ontological Economy |
Dale Gottlieb |
T. S. Weston |
The Journal of Symbolic Logic |
1982 |
| Algebra of proofs |
M. E. Szabo |
G. E. Minc |
The Journal of Symbolic Logic |
1982 |
