| Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
J. A. Robinson |
Journal of Symbolic Logic |
1967 |
| A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco |
B. Dunham, R. Fridshal, and G. L. Sward |
Joyce Friedman |
Journal of Symbolic Logic |
1967 |
| Elementary (arithmetical) extensions |
A. Tarski and R. L. Vaught |
Abraham Robinson |
Journal of Symbolic Logic |
1967 |
| Mathematics and logic in history and in contemporary thought. English translation of XXVIII 171(2) by Isabel Quigly |
Ettore Carruccio |
Harry V. Stopes-Roe |
Journal of Symbolic Logic |
1967 |
| Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
Charles Parsons |
Journal of Symbolic Logic |
1967 |
| Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
Ignacio Angelelli |
Journal of Symbolic Logic |
1967 |
| Combinatory logic |
Haskell B. Curry |
J. Barkley Rosser |
Journal of Symbolic Logic |
1967 |
| On non-standard models for number theory |
Elliott Mendelson |
Steven Orey |
Journal of Symbolic Logic |
1967 |
| Natural deduction. A proof-theoretical study |
Dag Prawitz |
Richmond Thomason |
Journal of Symbolic Logic |
1967 |
| Some recent work of Ehrenfeucht and Fraïssé |
Solomon Feferman |
Erwin Engeler |
Journal of Symbolic Logic |
1967 |
| Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Joel W. Robbin |
Journal of Symbolic Logic |
1967 |
| Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic |
Andrzej Mostowski |
Raphael M. Robinson |
Journal of Symbolic Logic |
1967 |
| Combinatory logic. Volume I. With two sections by William Craig |
Haskell B. Curry and Robert Feys |
J. Barkley Rosser |
Journal of Symbolic Logic |
1967 |
| Computational complexity of recursive sequences |
J. Hartmanis and R. E. Stearns |
Jiří Bečvář |
Journal of Symbolic Logic |
1967 |
| The unit preference strategy in theorem proving |
Lawrence Wos, Daniel Carson, and George Robinson |
David Luckham |
Journal of Symbolic Logic |
1967 |
| Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
David C. Cooper |
Journal of Symbolic Logic |
1967 |
| Introduction à la logique juridique. Éléments de sémiotique juridique, logique des normes et logique juridique. With a preface by Ch. Perelman. Bibliothèque de philosophie du droit, volume III |
Georges Kalinowski |
E. J. Lemmon |
Journal of Symbolic Logic |
1967 |
| Symbolic logic |
A T Shearman |
Randall R Dipert |
Journal of Symbolic Logic |
1967 |
| The Unique and the Universal |
J.L. Talmon |
George Lichtheim |
New York Review of Books |
1966-12-15 |
| Man Adapting |
René Dubos |
Aubrey Lewis |
New York Review of Books |
1966-12-01 |
| From Phenomenology to Metaphysics: An Inquiry into the Last Period of Merleau-Ponty's Philosophical Life |
Remy C. Kwant |
Fraser Cowley |
Dialogue |
1966-12-01 |
| Plotini Opera. Ediderunt Paul Henry et Hans-Rudolf Schwyzer |
Tomus I |
Vianney Décarie |
Dialogue |
1966-12-01 |
| New Studies in Berkeley's Philosophy |
Harry M Bracken |
David A. Givner |
Dialogue |
1966-12-01 |
| The Age of Complexity |
H. Kohl |
P. F. L. |
Review of Metaphysics |
1966-12-00 |
| Non-Standard Analysis |
A. Robinson |
|
Review of Metaphysics |
1966-12-00 |
| Hindu Polytheism |
A. Daniélou |
W. G. E. |
Review of Metaphysics |
1966-12-00 |
| Aristotle: Protrepticus, a Reconstruction |
A. Chroust |
R. B. C. |
Review of Metaphysics |
1966-12-00 |
| An Analysis of Questions: Preliminary Report N. D. Belnap Jr |
N. D. Belnap, Jr. |
A. Z. B. |
Review of Metaphysics |
1966-12-00 |
| A Metaphysics of Being and God J. V. McGlynn P. M. Farley Sr |
J. V. Mcglynn |
J. K. |
Review of Metaphysics |
1966-12-00 |
| Prisoner's Dilemma: A Study in Conflict and Co-Operation |
Anatol Rapoport |
W. G. Runciman |
Synthese |
1966-12-00 |
| Recent work in probability and induction |
I. J. Good |
Isaac Levi |
Synthese |
1966-11 |
| Answers, and Presuppositions |
Questions |
Nuel D. Belnap |
Journal of Philosophy |
1966-10-27 |
| Cosmos and History |
Mircea Eliade |
Edmund R. Leach |
New York Review of Books |
1966-10-20 |
| The Two and the One |
Mircea Eliade |
Edmund R. Leach |
New York Review of Books |
1966-10-20 |
| A Sign for Cain: An Exploration in Human Violence |
Fredric Wertham M.D. |
Edgar Z. Friedenberg |
New York Review of Books |
1966-10-20 |
| Aristotle's Vision of Nature |
F. J. E. Woodbridge |
A. C. Lloyd |
Philosophy |
1966-10-01 |
| On automatic deduction |
John Alan Robinson |
David Luckham |
Journal of Symbolic Logic |
1966-09-02 |
| Recursive equivalence types and combinatorial functions |
John Myhill |
J. C. E. Dekker |
Journal of Symbolic Logic |
1966-09-02 |
| Das Wahrheitsproblem und die Idee der Semantik. Eine Einführung in die Theorien von A. Tarski und R. Carnap |
Wolfgang Stegmüller |
R. M. Martin |
Journal of Symbolic Logic |
1966-09-02 |
| Fonctions récursives |
Andrzej Grzegorczyk |
Rózsa Péter |
Journal of Symbolic Logic |
1966-09-02 |
| Some problems in logical model-theory |
Lars Svenonius |
William Hanf |
Journal of Symbolic Logic |
1966-09-02 |
| Elementary logic |
Benson Mates |
G. T. Kneebone |
Journal of Symbolic Logic |
1966-09-02 |
| Lattices to logic |
Roy Dubisch |
Franz E. Hohn |
Journal of Symbolic Logic |
1966-09-02 |
| Martin Davis |
|
Stefan Bauer-Mengelberg |
Journal of Symbolic Logic |
1966-09-02 |
| Conceptions of Categories and Reality |
Hall |
Curtis S. Booth |
Southern Journal of Philosophy |
1966-09-01 |
| Monadology and Other Philosophical Essays |
G. W. Leibniz |
Diogenes Allen |
Dialogue |
1966-09-01 |
| Plato's Thought in the Making: A Study of the Development of his Metaphysics |
J. E. Raven |
John Malcolm |
Dialogue |
1966-09-01 |
| Process and Reality |
Donald W Sherburne |
A. H. Johnson |
Dialogue |
1966-09-01 |
| Filosofia e metafisica: Ricerche sul concetto di filosofia |
L. Lugarini |
C. D. |
Review of Metaphysics |
1966-09-00 |
| Beyond the beyond or Science and Immortality |
L. A. Littleton |
S. A. S. |
Review of Metaphysics |
1966-09-00 |
