| Sinn und Bedeutung in der Logik Gottlob Freges |
Christian Thiel |
G. Gabriel |
The Journal of Symbolic Logic |
1969-05-29 |
| H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
David Nelson |
The Journal of Symbolic Logic |
1969-05-29 |
| A theory of formal deducibility |
Haskell B. Curry |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969-05-29 |
| Translator's preface |
J. H. Woodger |
W. A. Pogorzelski |
The Journal of Symbolic Logic |
1969-05-29 |
| Universal algebra |
P. M. Cohn |
Abraham Robinson |
The Journal of Symbolic Logic |
1969-05-29 |
| Topics in Philosophical Logic |
Nicholas Rescher |
Patrick K Bastable |
Philosophical Studies |
1969-01-01 |
| Results in Non-Classical Propositional Logic |
Krister Segerberg |
W Kuyk |
Philosophia Reformata |
1969-01-01 |
| The Logic of Commands |
Nicholas Rescher |
Helmut Metzler |
Deutsche Zeitschrift für Philosophie |
1969-01-01 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Marta Lopez Gil |
Cuadernos de Filosofía |
1969-01-01 |
| Sense and Reference in Frege's Logic |
Christian Thiel |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1969-01-00 |
| Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399 |
C.Y |
Günter Asser |
The Journal of Symbolic Logic |
1969 |
| Introduction to logic and sets |
Robert R. Christian |
Alfons Borgers |
The Journal of Symbolic Logic |
1969 |
| Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre |
P. Bernays |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1969 |
| A. N. Prior. Escapism: the logical basis of ethics. Essays in moral philosophy |
A. I. Melden |
Layman E. Allen |
The Journal of Symbolic Logic |
1969 |
| The language of logic |
Hans Freudenthal |
G. T. Kneebone |
The Journal of Symbolic Logic |
1969 |
| A modern introduction to indian logic |
S. S. Barlinoay |
J. F. Staal |
The Journal of Symbolic Logic |
1969 |
| Advanced calculus |
Lynn H. Loomis and Shlomo Sternberg |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969 |
| The foundations of mathematics. A study in the philosophy of science |
Evert W. Beth |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969 |
| The Logic of Special Relativity |
S. J. Prokhovnik |
J. V. Narlikar |
The British Journal for the Philosophy of Science |
1968-11-01 |
| Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson |
N. E. Kobrinskii and B. A. Trakhtenbrot |
Robert McNaughton |
The Journal of Symbolic Logic |
1968-10-10 |
| Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960 |
A. Heyting, Studies in logic and the foundations of mathematics |
Yiannis N. Moschovakis |
The Journal of Symbolic Logic |
1968-10-10 |
| Languages with expressions of infinite length |
Carol R. Karp |
William P. Hanf |
The Journal of Symbolic Logic |
1968-10-10 |
| R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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 |
G. Fuhrken |
The Journal of Symbolic Logic |
1968-10-10 |
| The Logic of Invariable Concomitance in the Tattvacintāmani |
C. Goekoop |
P. T. (Poolla Tirupati) Raju |
Journal of the History of Philosophy |
1968-10-01 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
יוסף רז |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-10-00 |
| Logic and Philosophy. Selected Readings. (The Century Philosophy Series) |
Gary Iseminger |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-10-00 |
| The Domain of Logic According to Saint Thomas Aquinas |
Robert W |
John Trentman |
Dialogue |
1968-09-01 |
| The Logic of Decision |
Richard C. Jeffrey |
RICHARD E. Robinson |
The British Journal for the Philosophy of Science |
1968-08-01 |
| Periodicity of Post's normal process of tag |
Shigeru Watanabe |
Mary Katherine Yntema |
The Journal of Symbolic Logic |
1968-07-23 |
| I. M. Bocheński |
|
Charles A. Baylis |
The Journal of Symbolic Logic |
1968-07-23 |
| Michael Morley. Omitting classes of elements. 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 |
E. G. K. Lopez-Escobar |
The Journal of Symbolic Logic |
1968-07-23 |
| Introduction to metamathematics. Fourth printing of XIX 215 |
Stephen Cole Kleene |
Ann Singleterry Ferebee |
The Journal of Symbolic Logic |
1968-07-23 |
| Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276 |
G. Asser |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1968-07-23 |
| Introduction to the formal analysis of natural languages |
Noam Chomsky and George A. Miller |
Joseph S. Ullian |
The Journal of Symbolic Logic |
1968-07-23 |
| The logic of religion |
Joseph M. Bochenski (I. M. Bocheński) |
Wilfrid Hodges |
The Journal of Symbolic Logic |
1968-07-23 |
| Unsolvable problems: a review |
Martin Davis |
Mary Katherine Yntema |
The Journal of Symbolic Logic |
1968-07-23 |
| Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959) |
Dana Scott and Patrick Suppes |
Robert L. Causey |
The Journal of Symbolic Logic |
1968-07-23 |
| Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104 |
Franz E. Hohn |
J. Kuntzmann |
The Journal of Symbolic Logic |
1968-07-23 |
| Signification and significance. A study of the relation of signs and values. The M.I.T |
Charles Morris |
Alonzo Church |
The Journal of Symbolic Logic |
1968-07-23 |
| Philosophical Logic (Oxford Readings in Philosophy) |
P. F. Strawson |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-07-00 |
| Fate, logic, and time |
Steven M. Cahn |
Julian Wolfe |
Dialogue |
1968-06-01 |
| Logic and Language of Education |
G. F. Kneller |
E. H. W. |
The Review of Metaphysics |
1968-06-00 |
| Aspects of Inductive Logic |
J. Hintikka |
Isaac Levi |
The British Journal for the Philosophy of Science |
1968-05-01 |
| Transistor logic circuits |
Richard B. Hurley |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
| A theory of sets |
Anthony P. Morse |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1968-04-26 |
| A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel |
M. Denis-Papin, A. Kaufmann, and R. Faure |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
| On what there is. A reprint of XIX 134(1) |
Willard Van Orman Quine |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1968-04-26 |
| Introduction |
G. H. R. Parkinson |
Alonzo Church |
The Journal of Symbolic Logic |
1968-04-26 |
| The separation theorem on the classical system |
Tsutomu Hosoi |
T. Thacher Robinson |
The Journal of Symbolic Logic |
1968-04-26 |
