| Basic concepts of measurement |
Brian Ellis |
Robert L. Causey |
The Journal of Symbolic Logic |
1969-07-25 |
| Die Manningfaltigketi der Direktiven für die Gestaltung |
Paul Bernays |
G. T. Kneebone |
The Journal of Symbolic Logic |
1969-07-25 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| On a theorem of Cobham concerning undecidable theories |
Robert L. Vaught |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. 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 |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique |
Alan Rose |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| Mengenlehre und Logik. Dunker & Humblot, Berlin |
Abraham A. Fraenkel |
Thomas Frayne |
The Journal of Symbolic Logic |
1969-05-29 |
| Polish analytical philosophy. A survey and a comparison with British analytical philosophy. International Library of Philosophy and Scientific Method |
Henryk Skolimowski |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| Introduction to mathematical logic |
Elliott Mendelson |
Dirk van Dalen |
The Journal of Symbolic Logic |
1969-05-29 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| A transfinite type theory with type variables |
P. B. Andrews |
R. O. Gandy |
The Journal of Symbolic Logic |
1968-04-26 |
| E. W. Beth. Observations concerning computing, deduction, and heuristics. 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 |
| Frege |
Rosaria Egidi |
F. Kambartel |
The Journal of Symbolic Logic |
1968-04-26 |
| A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference |
Zohar Manna |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| Konstruktive Grundlagen der Logik |
Amitabha Ghose |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1968 |
| Proving a theorem (as done by man, logician, or machine) |
Abraham Robinson |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
