| Ein dialogisches Konstruktwitätskriterium |
P. Lorenzen |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Studies in the history of Arabic logic |
Nicholas Rescher |
Timothy C. Potts |
The Journal of Symbolic Logic |
1968 |
| Le programme ultra-intuitionniste des fondements des mathématiques |
A. S. Ésénine-Volpine |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Infinitistic methods from a finitist point of view |
A. Heyting |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Introduction to lattice theory |
D. E. Rutherford |
Donald Monk |
The Journal of Symbolic Logic |
1968 |
| Theorem proving by machine |
H. Gelernter |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
| Degree of unsolvability and the rate of growth of functions |
S. Tennenbaum |
F. B. Cannonito |
The Journal of Symbolic Logic |
1968 |
| Der logische Aufbau der Welt. Scheinprobleme in der Philosophie |
Rudolf Carnap |
Wolfgang Stegmüller |
The Journal of Symbolic Logic |
1968 |
| On a simple source for non-computable functions |
Tibor Rado |
F. B. Cannonito |
The Journal of Symbolic Logic |
1968 |
| Roderick M. Chisholm. Sentences about believing. Proceedings of the Aristotelian Society, n.s. vol. 56 (1955–6) |
Herbert Feigl, Michael Scriven, and Grover Maxwell |
Charles A. Baylis |
The Journal of Symbolic Logic |
1967-10-09 |
| Une notion de récursivité relative |
R. Fraïssé |
Günter Asser |
The Journal of Symbolic Logic |
1967-10-09 |
| First course in mathematical logic |
Patrick Suppes and Shirley Hill |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Cylindrical algebras |
Leon Henkin and Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. Sequential machines, Selected papers |
Edward F. Moore |
Andrzej J. Blikle |
The Journal of Symbolic Logic |
1967-10-09 |
| Mathematical logic. Lectures on modern mathematics, vol |
Georg Kreisel |
R. E. Vesley |
The Journal of Symbolic Logic |
1967-10-09 |
| Solutions to the exercises in First course in mathematical logic |
Frederick Binford |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Scientific method |
Charles Sanders Peirce |
Alonzo Church |
The Journal of Symbolic Logic |
1967-10-09 |
| Aspects of the theory of syntax. The M.I.T |
Noam Chomsky |
J. F. Staal |
The Journal of Symbolic Logic |
1967-10-09 |
| David A. Huffman. Canonical forms for information-lossless finite-stale logical machines. Sequential machines, Selected papers |
Edward F. Moore |
Andrzej J. Blikle |
The Journal of Symbolic Logic |
1967-10-09 |
| Elementary concepts of modern mathematics |
Flora Dinkines |
Alfons Borgers |
The Journal of Symbolic Logic |
1967-10-09 |
| Some applications of the theory of models to set theory |
H. Jerome Keisler |
Azriel Lévy |
The Journal of Symbolic Logic |
1967-10-09 |
| N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
G. H. Matthews |
The Journal of Symbolic Logic |
1967-10-09 |
| 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 |
| 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 |
