| Partial systems of number theory |
Hao Wang |
Steven Orey |
Journal of Symbolic Logic |
1964 |
| Mathematical induction |
Leon Henkin |
Theodore Hailperin |
Journal of Symbolic Logic |
1964 |
| The anthmetization of metamathematics |
Hao Wang |
Steven Orey |
Journal of Symbolic Logic |
1964 |
| The logical basis of axiom systems |
John M. Anderson and Henry W. Johnstone Jr., Natural deduction |
Donald Kalish |
Journal of Symbolic Logic |
1964 |
| R. Montague |
|
G. Hasenjaeger |
Journal of Symbolic Logic |
1964 |
| Ackermann's consistency proof |
Hao Wang |
Steven Orey |
Journal of Symbolic Logic |
1964 |
| Semantic Analysis |
Paul Ziff |
Paul Benacerraf |
Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Ockham's Tractatus de praedestinatione et de praescientia Dei et de futuris contingentibus and its main problems. A reprint of VII 46. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
Journal of Symbolic Logic |
1964 |
| Scientific Inference |
Harold Jeffreys |
Abraham Robinson |
Journal of Symbolic Logic |
1964 |
| Retracing elementary mathematics |
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh |
Theodore Hailperin |
Journal of Symbolic Logic |
1964 |
| Different axiom systems |
Hao Wang |
Steven Orey |
Journal of Symbolic Logic |
1964 |
| Degrees of unsolvability |
Gerald E. Sacks |
Gustav B. Hensel |
Journal of Symbolic Logic |
1964 |
| Mathematical logic |
Willard Van Orman Quine |
Frederic B. Fitch |
Journal of Symbolic Logic |
1964 |
| American philosophy in the twentieth century. Reason and the common good, Selected essays of Arthur E. Murphy, Prentice-Hall, Inc., Englewood Cliffs, N.J |
Arthur E. Murphy |
Alonzo Church |
Journal of Symbolic Logic |
1964 |
| Introduction to Logic |
Irving M. Copi |
Donald Kalish |
Journal of Symbolic Logic |
1964 |
| Computation |
Harry R Lewis |
Jean H Gallier |
Journal of Symbolic Logic |
1964 |
| Philosophical problems of many-valued logic |
A. A. Zinov′ev |
Atwell R. Turquette |
Journal of Symbolic Logic |
1964 |
| Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959) |
J. W. Addison |
Donald L. Kreider |
Journal of Symbolic Logic |
1964 |
| Knowledge and belief. An introduction to the logic of the two notions |
Jaakko Hintikka |
Hector-Neri Castañeda |
Journal of Symbolic Logic |
1964 |
| Introduction to model theory and to the metamathematics of algebra |
Abraham Robinson |
Carol R. Karp |
Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Does Ockham know of material implication? A reprint of XVIII 334. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
Journal of Symbolic Logic |
1964 |
| The Rational and the Real |
Leslie Armour |
H S Harris |
Dialogue |
1963-12-01 |
| The Concept of Law |
H. L. A. Hart |
D. L. Soberman |
Dialogue |
1963-12-01 |
| The Disappearance of God |
J. Hillis Miller |
Jonathan Bishop |
New York Review of Books |
1963-11-14 |
| Reasons, and Causes |
Actions |
Donald Davidson |
Journal of Philosophy |
1963-11-07 |
| The Hunting of Leviathan |
Samuel I. Mintz |
Eugene J. Roesch |
Dialogue |
1963-09-01 |
| The Myth of Metaphor |
Colin Turbayne |
John W. Davis |
Dialogue |
1963-09-01 |
| Essence et existence |
Stanislas Breton |
Emmanuel Trépanier |
Dialogue |
1963-09-01 |
| The Logic of Perfection and other Essays in Neoclassical Metaphysics |
Charles Hartshorne |
Alastair McKinnon |
Dialogue |
1963-09-01 |
| Reason and Analysis |
Brand Blanshard |
Colwyn Williamson |
Dialogue |
1963-09-01 |
| On the Eternal in Man |
Scheler Max |
Thomas Mcpherson |
Philosophy |
1963-07-01 |
| A la Recherche de l'Etre |
Manoel Joaquim De Carvalho Jr |
Louis Lachance |
Dialogue |
1963-06-01 |
| The Pilgrimage of Life |
Samuel C. Chew |
C. J. Vincent |
Dialogue |
1963-06-01 |
| Logical Foundations of Probability |
Rudolf Carnap |
R. H. Vincent |
Dialogue |
1963-06-01 |
| A Whiteheadian Aesthetic |
Donald W. Sherburne |
A. H. Johnson |
Dialogue |
1963-06-01 |
| La Pensée et l'Etre. Une épistémologie |
Joseph De Vries |
Louis Lachance |
Dialogue |
1963-06-01 |
| Sensation and Perception |
D. W. Hamlyn |
Jonathan Harrison |
Philosophy |
1963-04-01 |
| Choice and Chance |
K. W. Rankin |
A. R. Lacey |
Philosophy |
1963-04-00 |
| The Development of Logic |
William Kneale and Martha Kneale |
Jon Wheatley |
Dialogue |
1963-03-01 |
| Plato on the One |
Robert S. Brumbaugh |
Margaret E. Reesor |
Dialogue |
1963-03-01 |
| The 'Apeiron' of Anaximander |
Paul Seligman |
John M. Rist |
Dialogue |
1963-03-01 |
| Logiques construites par une méthode de déduction naturelle |
Joseph Dopp |
E. W. Beth |
Synthese |
1963-03-00 |
| The Same as |
Inductive Ascent |
R. L. Cunninoham |
Mind |
1963-01-01 |
| Professor Smart on Free |
Praise Will |
C. A. Campbell |
Mind |
1963-01-01 |
| Being and time |
Sociological aspects of Heidegger |
Stanley Paluch |
Inquiry |
1963-01-01 |
| Prospect for Metaphysics: Essays of Metaphysical Exploration |
Ian Ramsey |
Roland Hall |
Philosophy |
1963-01-00 |
| The axiomatic method |
Hao Wang |
Steven Orey |
Journal of Symbolic Logic |
1963 |
| Gerold Stahl. Fragenfolgen. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
David Harrah |
Journal of Symbolic Logic |
1963 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Donald Kalish |
Journal of Symbolic Logic |
1963 |
| The fine structure of degrees of unsolvability of recursively enumerable sets |
R. M. Friedberg |
Gerald E. Sacks |
Journal of Symbolic Logic |
1963 |
