| Human Understanding. Vol. I: General Introduction and Part I, The Collective Use and Evolution of Concepts |
Stephen Toulmin |
Norman Daniels |
Philosophical Review |
1975-01-00 |
| Enigmas of Agency: Studies in the Philosophy of Human Action |
Irving Thalberg |
Stephen P. Schwartz |
Philosophical Review |
1975-01-00 |
| An Introduction to Confirmation Theory |
Richard Swinburne |
Mark Pastin |
Philosophical Review |
1975-01-00 |
| Personal Identity: A Philosophical Analysis |
Godfrey Vesey |
Ardon Lyon |
Philosophy |
1975-01-00 |
| On What There Must Be |
Ross Harrison |
R. G. Swinburne |
Philosophy |
1975-01-00 |
| A profile of mathematical logic |
Howard DeLong |
Richard E. Grandy |
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 |
Journal of Symbolic Logic |
1975 |
| Recursive function theory and logic |
Ann Yasuhara |
Oseph S. Ullian |
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 |
Journal of Symbolic Logic |
1975 |
| Symposium on semantics of algorithmic languages |
E. Engeler |
John C. Reynolds |
Journal of Symbolic Logic |
1975 |
| E. R. Kiely |
|
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Logische Syntax der Sprache |
Rudolf Carnap |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| B. F. McGuinness |
|
Alonzo Church |
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 |
Journal of Symbolic Logic |
1975 |
| Vorlesungen über die Algebra der Logik (exacte Logik) |
Ernst Schröder |
Paul Bernays |
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 |
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 |
Journal of Symbolic Logic |
1975 |
| Set theory. English translation of XL 649(4) by M. Maczynski |
K. Kuratowski and A. Mostowski |
H. B. Enderton |
Journal of Symbolic Logic |
1975 |
| Introductory note |
W. V. Quine |
Alonzo Church |
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 |
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 |
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 |
Journal of Symbolic Logic |
1975 |
| Modelle der Mengenlehre |
Ronald Björn Jensen |
Maurice Boffa |
Journal of Symbolic Logic |
1975 |
| A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
C. Smorynski |
Journal of Symbolic Logic |
1975 |
| The logic of scientific discovery |
Karl Popper |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Linguistic analysis |
H. A. Nielsen |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Translator's foreword |
B. F. Wells III |
Verena H. Dyson |
Journal of Symbolic Logic |
1975 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
Solomon Feferman |
Journal of Symbolic Logic |
1975 |
| De Morgan, Augustus |
G. L. Farre |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams |
J. N. Crossley |
William E. Gould |
Journal of Symbolic Logic |
1975 |
| First-order logic |
Raymond M. Smullyan |
William Craig |
Journal of Symbolic Logic |
1975 |
| Ordinals and functionals in proof theory |
Solomon Feferman |
Georg Kreisel |
Journal of Symbolic Logic |
1975 |
| Threshold logic |
Sze-Tsen Hu |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Decidability and definability in second-order theories |
Michael O. Rabin |
Dirk Siefkes |
Journal of Symbolic Logic |
1975 |
| Axiomatic system |
J. A. Ladrière |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale |
Gisbert Hasenjaeger |
Gert H. Müller |
Journal of Symbolic Logic |
1975 |
| The philosophy of mathematics. An introductory essay |
Stephan Körner |
Mark Steiner |
Journal of Symbolic Logic |
1975 |
| Preface. English translation of XL 256(1) |
Evert W. Beth |
H. L. Berghel |
Journal of Symbolic Logic |
1975 |
| Richard M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York |
Raymond E. Miller and James W. Thatcher |
Ronald V. Book |
Journal of Symbolic Logic |
1975 |
| Über die unendliche Induktion |
G. H. Müller |
K. Schütte |
Journal of Symbolic Logic |
1975 |
| Constructible sets with applications |
A. Mostowski |
Perry Smith |
Journal of Symbolic Logic |
1975 |
| Degrees of Unsolvability |
Joseph R. Shoenfield |
Leonard P. Sasso |
Journal of Symbolic Logic |
1975 |
| Models of ZF-set theory |
Ulrich Felgner |
Frank R. Drake |
Journal of Symbolic Logic |
1975 |
| W. W. Tait. Infinitely long terms of transfinite type. 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 |
E. G. K. LóPez-Escobar |
Journal of Symbolic Logic |
1975 |
| Analytical philosophy |
M. J. Charlesworth |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Logic of Statistical Inference |
Ian Hacking |
Gordon Matthews |
Journal of Symbolic Logic |
1975 |
| Introduction to symbolic logic |
John L. Pollock |
B. G. Hurdle |
Journal of Symbolic Logic |
1975 |
| Modal Logic and its Applications |
D. Paul Snyder |
Hugh Montgomery |
Journal of Symbolic Logic |
1975 |
| Boole, George |
G. L. Farre |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| I. Thomas |
|
Alonzo Church |
Journal of Symbolic Logic |
1975 |
