| Logic |
Marianne Winslett |
Nelson Pole |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| The logic of relevance and necessity |
Alan Ross Anderson |
Gordon Matthews |
The Journal of Symbolic Logic |
1977 |
| An algebraic approach to non-classical logics |
Helena Rasiowa |
Anne Preller |
The Journal of Symbolic Logic |
1977 |
| Computability and Logic |
G Boolos |
Stephen Leeds |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Logics and Languages |
M. J. Cresswell |
Daniel Gallin |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Boolean rings |
Alexander Abian |
R. S. Pierce |
The Journal of Symbolic Logic |
1977 |
| Word Problems, Decision Problems and the Burnside Problem in Group Theory |
William W Boone |
C R J Clapham |
The Journal of Symbolic Logic |
1976-12-01 |
| A Bridge to Advanced Mathematics |
Dennis Sentilles |
H B Enderton |
The Journal of Symbolic Logic |
1976-09-01 |
| Essays in Analysis by Bertrand Russell |
Douglas P Lackey |
Alonzo Church |
The Journal of Symbolic Logic |
1976-09-01 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F. Siemens |
The Journal of Symbolic Logic |
1976 |
| Model theory |
C. C. Chang and H. J. Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Introduction |
Peter Heath |
Alonzo Church |
The Journal of Symbolic Logic |
1976 |
| Introduction to the logical design of switching systems |
H. C. Torng |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Introduction |
Peter Heath |
Alonzo Church |
The Journal of Symbolic Logic |
1976 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F Siemens Jr |
The Journal of Symbolic Logic |
1976 |
| Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow |
A. I. Mal'cév |
Gershon Sageev |
The Journal of Symbolic Logic |
1976 |
| Elements of Combinatory Logic |
Frederic B. Fitch |
Bruce Lercher |
The Journal of Symbolic Logic |
1976 |
| Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol |
Seymour Ginsburg |
Arto Salomaa |
The Journal of Symbolic Logic |
1976 |
| Model theory |
H J Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Set theory |
Charles C. Pinter |
Paul C. Eklof |
The Journal of Symbolic Logic |
1976 |
| Algebraic systems. English translation of Algébraičéskié sistémy by B. D. Seckler and A. P. Doohovskoy |
A. I. Mal'cev |
Donald Monk |
The Journal of Symbolic Logic |
1976 |
| The theory of ultrafilters |
W W Comfort |
Andreas Blass |
The Journal of Symbolic Logic |
1976 |
| Gambling with Truth: An Essay on Induction and the Aims of Science |
Isaac Levi |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Set theory |
Shwu-Yeng T Lin |
Martin Helling |
The Journal of Symbolic Logic |
1976 |
| Logic: depth grammar of rationality. A textbook on the science and history of logic |
Patrick K. Bastable |
G. T. Kneebone |
The Journal of Symbolic Logic |
1976 |
| Logic: depth grammar of rationality. A textbook on the science and history of logic |
Patrick K. Bastable |
G. T. Kneebone |
The Journal of Symbolic Logic |
1976 |
| Introduction to the logical design of switching systems |
H. C. Torng |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Elementary symbolic logic |
William Gustason |
John Bacon |
Teaching Philosophy |
1975-09-01 |
| A profile of mathematical logic |
Howard DeLong |
Richard E. Grandy |
The Journal of Symbolic Logic |
1975 |
| Ronald Björn Jensen. On the consistency of a slight (?) modification of Quine's New foundations. Words and objections, Essays on the work of W. V. Quine |
Donald Davidson and Jaakko Hintikka |
C. Ward Henson |
The Journal of Symbolic Logic |
1975 |
| Recursive function theory and logic |
Ann Yasuhara |
Oseph S. Ullian |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Kenneth Kunen |
The Journal of Symbolic Logic |
1975 |
| Symposium on semantics of algorithmic languages |
E. Engeler |
John C. Reynolds |
The Journal of Symbolic Logic |
1975 |
| E. R. Kiely |
|
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Logische Syntax der Sprache |
Rudolf Carnap |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| B. F. McGuinness |
|
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Carl E. Gordon |
The Journal of Symbolic Logic |
1975 |
| Vorlesungen über die Algebra der Logik (exacte Logik) |
Ernst Schröder |
Paul Bernays |
The Journal of Symbolic Logic |
1975 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
S Mazur |
R L Goodstein |
The Journal of Symbolic Logic |
1975 |
| Set theory. English translation of XL 649(4) by M. Maczynski |
K. Kuratowski and A. Mostowski |
H. B. Enderton |
The Journal of Symbolic Logic |
1975 |
| Introductory note |
W. V. Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
William A. Howard |
The Journal of Symbolic Logic |
1975 |
| Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Jaakko Hintikka |
Henry E Kyburg Jr |
The Journal of Symbolic Logic |
1975 |
| Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Modelle der Mengenlehre |
Ronald Björn Jensen |
Maurice Boffa |
The Journal of Symbolic Logic |
1975 |
