| Logic, and Time |
Steven M. Cahn |
H. A. Nielsen |
The Thomist: A Speculative Quarterly Review |
1967-01-01 |
| Mathematics and Logic in History and Contemporary Thought |
Ettore Carruccio |
E. J. (Edward John) Lemmon |
Journal of the History of Philosophy |
1967-01-01 |
| Aspects of Inductive Logic, Studies in Logic |
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 |
| Language & philosophy. Translated from the French by Henry B. Veatch |
Mikel Dufrenne |
Gilbert H. Harman |
The Journal of Symbolic Logic |
1967 |
| International directory of philosophy and philosophers |
Gilbert Varet and Paul Kurtz, editors |
Alonzo Church |
The Journal of Symbolic Logic |
1967 |
| Grundgedanken einer typenfreien Logik |
Wilhelm Ackermann |
Ronald Harrop |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1967 |
| Elementary (arithmetical) extensions |
A. Tarski and R. L. Vaught |
Abraham Robinson |
The 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 |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1967 |
| Combinatory logic |
Haskell B. Curry |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1967 |
| On non-standard models for number theory |
Elliott Mendelson |
Steven Orey |
The Journal of Symbolic Logic |
1967 |
| Natural deduction. A proof-theoretical study |
Dag Prawitz |
Richmond Thomason |
The Journal of Symbolic Logic |
1967 |
| Some recent work of Ehrenfeucht and Fraïssé |
Solomon Feferman |
Erwin Engeler |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1967 |
| Combinatory logic. Volume I. With two sections by William Craig |
Haskell B. Curry and Robert Feys |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1967 |
| Computational complexity of recursive sequences |
J. Hartmanis and R. E. Stearns |
Jiří Bečvář |
The Journal of Symbolic Logic |
1967 |
| The unit preference strategy in theorem proving |
Lawrence Wos, Daniel Carson, and George Robinson |
David Luckham |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1967 |
| Symbolic logic |
A T Shearman |
Randall R Dipert |
The Journal of Symbolic Logic |
1967 |
| The Development of Arabic Logic |
Nicholas Rescher |
John Peter Anton |
Journal of the History of Philosophy |
1966-10-01 |
| On automatic deduction |
John Alan Robinson |
David Luckham |
The Journal of Symbolic Logic |
1966-09-02 |
| Recursive equivalence types and combinatorial functions |
John Myhill |
J. C. E. Dekker |
The 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 |
The Journal of Symbolic Logic |
1966-09-02 |
| Fonctions récursives |
Andrzej Grzegorczyk |
Rózsa Péter |
The Journal of Symbolic Logic |
1966-09-02 |
| Some problems in logical model-theory |
Lars Svenonius |
William Hanf |
The Journal of Symbolic Logic |
1966-09-02 |
| Elementary logic |
Benson Mates |
G. T. Kneebone |
The Journal of Symbolic Logic |
1966-09-02 |
| Lattices to logic |
Roy Dubisch |
Franz E. Hohn |
The Journal of Symbolic Logic |
1966-09-02 |
| Martin Davis |
|
Stefan Bauer-Mengelberg |
The Journal of Symbolic Logic |
1966-09-02 |
| Temporal Modalities in Arabic Logic (Foundation of Language / Supplementary Series / Volume 2) |
Nicholas Rescher |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1966-09-00 |
| Logic and Sexual Morality |
John Wilson |
David Sladen |
Philosophy |
1966-04-00 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Alan Rose |
Philosophy of Science |
1966-03-01 |
| Reasoning and logic |
Richard B. Angell |
Milton Fisk |
Philosophy of Science |
1966-03-01 |
| Contributions to Logic and Methodology in Honor of J. M. Bocheński |
Anna-teresa Tymieniecka |
Desmond Paul Henry |
The British Journal for the Philosophy of Science |
1966-02-01 |
| Logic and Language |
B. H. Kazemier and D. Vuysje |
JAMES CARGILE |
The British Journal for the Philosophy of Science |
1966-02-01 |
| Mathematics and Logic in History and in Contemporary Thought |
Ettore Carruccio |
Edward E. Dawson |
Philosophy |
1966-01-00 |
| A program for Presburger's algorithm |
Martin Davis |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| Quantification theory |
J. A. Faris |
Donald Kalish |
The Journal of Symbolic Logic |
1966 |
| Histoire de la logique |
Marcel Boll and Jacques Reinhart |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1966 |
| Grundlegung der Logik. Ausgewählte Paragraphen aus der Wissenschaftslehre, Band I und II. Mit ergänzenden Textzusammenfassungen, einer Einleitung und Registern. Edited by Friedrich Kambartel |
Bernard Bolzano |
Y. Bar-Hillel |
The Journal of Symbolic Logic |
1966 |
| Comparing the axioms of local and universal choice |
Azriel Lévy |
A. Hajnal |
The Journal of Symbolic Logic |
1966 |
| Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein |
P. S. Novikov |
Gert H. Müller |
The Journal of Symbolic Logic |
1966 |
| Names and descriptions |
A. J. Ayer |
James Thomson |
The Journal of Symbolic Logic |
1966 |
| Truth |
A. J. Ayer |
James Thomson |
The Journal of Symbolic Logic |
1966 |
| Logik des Rechts |
Rupert Schreiber |
Nicholas A. Vonneuman |
The Journal of Symbolic Logic |
1966 |
