| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| Sentences true in all constructive models |
R. L. Vaught |
S. Feferman |
The Journal of Symbolic Logic |
1966 |
| Elements of symbolic logic |
Hans Reichenbach |
J. van Heijenoort |
The Journal of Symbolic Logic |
1966 |
| Boolean algebras |
Roman Sikorski |
Donald Monk |
The Journal of Symbolic Logic |
1966 |
| The notion of rank in set-theory |
Dana Scott |
A. Hajnal |
The Journal of Symbolic Logic |
1966 |
| Fraenkel's addition to the axioms of Zermelo |
Richard Montague |
A. Hajnal |
The Journal of Symbolic Logic |
1966 |
| Recursive ordinals and predicative set theory |
Clifford Spector |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| Truth-functional logic |
J. A. Faris |
Gene F. Rose |
The Journal of Symbolic Logic |
1966 |
| David Rynin. Introduction. A treatise on language, by Alexander Bryan Johnson |
David Rynin |
Alonzo Church |
The Journal of Symbolic Logic |
1966 |
| Effectively decidable theories |
Alan Cobham |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| Sums of squares |
Leon Henkin |
Abraham Robinson |
The Journal of Symbolic Logic |
1966 |
| On mathematical concepts of the material world. A reprint of 997 |
Alfred North Whitehead |
S. Jaśkowski |
The Journal of Symbolic Logic |
1966 |
| Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen |
Hans Hermes |
Kurt Schütte |
The Journal of Symbolic Logic |
1966 |
| Another proof of Takeuti's theorems on Skolem's paradox |
Shôji Maehara |
Erwin Engeler |
The Journal of Symbolic Logic |
1966 |
| Sums of squares |
G. Kreisel |
Abraham Robinson |
The Journal of Symbolic Logic |
1966 |
| Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902 |
Ralph Monroe Eaton |
Charles A. Baylis |
The Journal of Symbolic Logic |
1966 |
| Hierarchies and the axiom of constructibility |
J. W. Addison |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses |
A. Heyting, Studies in logic and the foundations of mathematics |
Yiannis N. Moschovakis |
The Journal of Symbolic Logic |
1966 |
| Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Ylannis N. Moschovakis |
The Journal of Symbolic Logic |
1966 |
| The gentle art of mathematics. With drawings by Griselda El Tayeb |
Dan Pedoe |
Alonzo Church |
The Journal of Symbolic Logic |
1966 |
| Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
F. C. Oglesby |
The Journal of Symbolic Logic |
1966 |
| M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Gerold Stahl |
The Journal of Symbolic Logic |
1966 |
| Paul R. Halmos |
|
R. S. Pierce |
The Journal of Symbolic Logic |
1966 |
| Logic and Reality |
Gustav Bergmann |
John Trentman |
Dialogue |
1965-12-01 |
| A Survey of Mathematical Logic |
Wang Hao |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1965-10-00 |
| The Principles of Science. A Treatise on Logic and Scientific Method |
W. Stanley Jevons |
William Kneale |
The British Journal for the Philosophy of Science |
1965-05-01 |
| The Development of Logic |
William |
G. T. Kneebone |
The British Journal for the Philosophy of Science |
1965-05-01 |
| Philosophical Problems of Many-Valued Logic |
A. A. Zinov'ev |
G. T. Kneebone |
Philosophy |
1965-04-00 |
| Definition in Plato's Meno: An Inquiry in the Light of Logic and Semantics into the Kind of Definition Intended by Socrates When He Asks 'What Is Virtue?' |
Laura Grimm |
A. R. Lacey |
Philosophy |
1965-04-00 |
| A Preface to the Logic of Science |
Peter Alexander |
C. L. Hamblin |
The British Journal for the Philosophy of Science |
1965-02-01 |
| The Logic and Psychology of Science |
Ernest Hutten |
Reginald O. Kapp |
The British Journal for the Philosophy of Science |
1965-02-00 |
| The Development of Logic |
William Kneale |
Czeslaw Lejewski |
Philosophy |
1965-01-00 |
| Propositional calculus |
P. H. Nidditch |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1965 |
| Axiomatics. English translation of XXIII 438, by G. B. Keene |
Robert Blanché |
Hugues Leblanc |
The Journal of Symbolic Logic |
1965 |
| The development of mathematical logic |
P. H. Nidditch |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1965 |
| Principia mathematica to *56. A reprint of 1941 as far as *56, including |
Alfred North Whitehead and Bertrand Russell |
Charles Parsons |
The Journal of Symbolic Logic |
1965 |
| Relation of m-valued quantificational logic to 2-valued quantificational logic |
Burton Dreben |
Atwell R. Turquette |
The Journal of Symbolic Logic |
1965 |
| Bolzano's logic |
Jan Berg |
Leon Miller |
The Journal of Symbolic Logic |
1965 |
| The formalization of mathematics |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Foundations of intuitionistic logic |
G. Kreisel |
Abraham Robinson |
The Journal of Symbolic Logic |
1965 |
| Some problems and results relevant to the foundations of set theory |
Alfred Tarski |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| Ferruccio Rossi-Landi. Universo del discorso e lingua ideale in filosofia. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
The Journal of Symbolic Logic |
1965 |
| Preface |
Yehoshua Bar-Hillel |
J. Lambek |
The Journal of Symbolic Logic |
1965 |
| Theory of formal systems |
Raymond M. Smullyan |
Marian Boykan Pour-El |
The Journal of Symbolic Logic |
1965 |
| Solvable Surányi subclasses: an introduction to the Herbrand theory |
Burton S. Dreben |
Peter Andrews |
The Journal of Symbolic Logic |
1965 |
| Introduction à la logique. French translation of XII 61 by Jacques A. Tremblay |
Alfred Tarski |
Alfons Borgers |
The Journal of Symbolic Logic |
1965 |
| Inductive probability |
John Patrick Day |
Harry Stopes-Roe |
The Journal of Symbolic Logic |
1965 |
| Giuseppe Vaccarino. L'implicazione stretta e la logica delle modalità. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica |
Ferruccio Rossi-Landi |
Alberto Pasquinelli |
The Journal of Symbolic Logic |
1965 |
| Truth definitions and consistency proofs |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Some remarks on infinitely long formulas |
L. Henkin |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
