| Paradox and Discovery |
John Wisdom |
İlham Dilman |
Philosophy |
1967-04-00 |
| The Structure of Mind |
Reinhardt Grossmann |
Roderick M. Chisholm |
Philosophy |
1967-04-00 |
| Moore and Ryle: Two Ontologists Laird Addis Douglas Lewis |
Laird Addis |
Alan R. White |
Philosophy |
1967-04-00 |
| Hobbes's System of Ideas |
J. W. N. Watkins |
Richard Peters |
Philosophy |
1967-04-00 |
| God and Philosophy |
Antony Flew |
W. D. Hudson |
Philosophy |
1967-04-00 |
| Evil and the God of Love |
John Hick |
C. J. F. Williams |
New Blackfriars |
1967-03-01 |
| Moore and Ryle: Two Ontologists |
Laird Addis |
John Trentman |
Dialogue |
1967-03-01 |
| Beyond Scepticism and Realism |
Ervin Laszlo |
Georges Hélal |
Dialogue |
1967-03-01 |
| Traité de Philosophie. l'Action |
Gilbert Mury et Timmy Oriol |
Robert Saint-Jean |
Dialogue |
1967-03-01 |
| Logic and Reality in Leibniz's Metaphysics |
G. H. R. Parkinson |
W. B. Carter |
Dialogue |
1967-03-01 |
| Faith beyond Humanism |
D. Williams |
S. A. S. |
Review of Metaphysics |
1967-03-00 |
| Selected Logic Papers |
W.V. Quine |
Anthony Quinton |
New York Review of Books |
1967-01-12 |
| The Ways of Paradox and Other Essays |
W.V. Quine |
Anthony Quinton |
New York Review of Books |
1967-01-12 |
| Retractation |
Miss Anscombe |
Erik Stenius |
Analysis |
1967-01-01 |
| Tollendo tollens |
|
Reginald C. Perry |
Australasian Journal of Philosophy |
1967-01-01 |
| Type Crossings |
Theodore Drange |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| The Metaphysics of Descartes |
L. J. Beck |
י. י. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| Materialisten der Leibniz-Zeit. Ausgewählte Texte. (Philosophisches Erbe Bd. 7) Friedrich Wilhelm Stosch Theodor Ludwig Lau Gabriel Wagner Urban Gottfried Bucher G. Stiehler |
Friedrich Wilhelm Stosch |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| Aspects of Inductive Logic, Studies in Logic Jaakko Hintikka Patrick Suppes |
Jaakko Hintikka |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| A Deductive Theory of Space and Time, Studies in Logic |
Saul A. Basri |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| The Stratification of Behaviour |
D. S. Shwayder |
Robert Ackerman |
Philosophy |
1967-01-00 |
| Gottlob Frege, the Basic Laws of Arithmetic: Exposition of the System |
Montgomery Furth |
P. W. E. Walters |
Philosophy |
1967-01-00 |
| Completeness in science |
R. Schlegel |
P. E. Pilet |
Dialectica |
1967-01-00 |
| Language & philosophy. Translated from the French by Henry B. Veatch |
Mikel Dufrenne |
Gilbert H. Harman |
Journal of Symbolic Logic |
1967 |
| International directory of philosophy and philosophers |
Gilbert Varet and Paul Kurtz, editors |
Alonzo Church |
Journal of Symbolic Logic |
1967 |
| Grundgedanken einer typenfreien Logik |
Wilhelm Ackermann |
Ronald Harrop |
Journal of Symbolic Logic |
1967 |
| 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, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, |
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 |
Henk Barendregt |
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 |
Robert McRoe |
Dialogue |
1966-12-01 |
| The Age of Complexity |
H. Kohl |
P. F. L. |
Review of Metaphysics |
1966-12-00 |
