| 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 |
| Semantics |
Donald Nute |
Dolph Ulrich |
Journal of Symbolic Logic |
1975 |
| Frege, Gottlob |
G. L. Farre |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
J. van Heijenoort |
Journal of Symbolic Logic |
1975 |
| Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory |
E. R. Caianiello |
Jonathan P. Seldin |
Journal of Symbolic Logic |
1975 |
| Logic, symbolic |
W. A. Wallace |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Richard J. Orgass |
Journal of Symbolic Logic |
1975 |
| Michael O. Rabin. Weakly definable relations and special automata |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Dirk Siefkes |
Journal of Symbolic Logic |
1975 |
| Antinomy |
H. A. Nielsen |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1) |
Nicolas Bourbaki (pseudonym) |
Perry Smith |
Journal of Symbolic Logic |
1975 |
| Saturated model theory. Photolithographed from typewritten manuscript |
Gerald E. Sacks |
Michael Makkai |
Journal of Symbolic Logic |
1975 |
| Fundamentals of symbolic logic |
Alice Ambrose and Morris Lazerowitz |
W. T. Parry |
Journal of Symbolic Logic |
1975 |
| Preface |
Warren D. Goldfarb |
Jean-Pierre Bénéjam |
Journal of Symbolic Logic |
1975 |
| The Navya-Nyāya Doctrine of Negation. The Semantics and Ontology of Negative Statements in Navya-Nyāya Philosophy |
Bimal Krishna Matilal |
Jan Berg |
Journal of Symbolic Logic |
1975 |
| Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque |
Alessandro Padoa |
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 |
C. E. M. Yates |
Journal of Symbolic Logic |
1975 |
| A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
James R. Geiser |
Journal of Symbolic Logic |
1975 |
| Peano, Giuseppe |
G. L. Farre |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Contributions to non-standard analysis |
W. A. J. Luxemburg |
Ralph Kopperman |
Journal of Symbolic Logic |
1975 |
| Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Henry E. Kyburg |
Journal of Symbolic Logic |
1975 |
| Forcing in model theory. Symposia mathematica, vol |
Abraham Robinson |
H. Jerome Keisler |
Journal of Symbolic Logic |
1975 |
| A. N. Prior. Existence in Leśniewski and in Russell. 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 |
C. Lejewski |
Journal of Symbolic Logic |
1975 |
| Principles of intuitionism |
A. S. Troelstra |
Joan Rand Moschovakis |
Journal of Symbolic Logic |
1975 |
| Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in inductive logic and probability, Volume I |
Rudolf Carnap |
David Miller |
Journal of Symbolic Logic |
1975 |
| Bolzano, Bemhard |
T. λ K. Kloyda |
Alonzo Church |
Journal of Symbolic Logic |
1975 |
| Mathematical logic |
Joseph R. Shoenfield |
Donald Monk |
Journal of Symbolic Logic |
1975 |
| The Search for Meaning: Philosophical Vistas |
Alfred Stern |
Geddes MacGregor |
Personalist |
1974-12-01 |
| Salvation from Despair: A Reappraisal of Spinoza's Philosophy |
E E Harris |
Kathleen R Madden |
Review of Metaphysics |
1974-12-01 |
| Philosophical Essays |
Hans Jonas |
Naomi Klapper |
Review of Metaphysics |
1974-12-01 |
| Significato e Struttura del Tempo |
F Spisani |
Geddes MacGregor |
Personalist |
1974-12-01 |
| Foundations of Measurement: Additive and Polynomial Representations |
D H Krantz |
Karel Berka |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1974-12-01 |
| Podstawy Ontologii Spoleczenstwa |
Jozef Lipiec |
Jozef Lipiec |
Dialectics and Humanism |
1974-12-01 |
| The Systems View of the World |
Ervin Laszlo |
Robert L Moore |
Process Studies |
1974-12-01 |
| Logics and Languages |
M J Cresswell |
M K Rennie |
Australasian Journal of Philosophy |
1974-12-01 |
| Introduction to Systems Philosophy |
Ervin Laszlo |
Robert L Moore |
Process Studies |
1974-12-01 |
| Time and Being |
Martin Heidegger |
Peter McCormick |
Dialogue: Journal of Phi Sigma Tau |
1974-12-01 |
