| Martin Davis |
|
Stefan Bauer-Mengelberg |
The Journal of Symbolic Logic |
1966-09-02 |
| 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 |
| 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 |
| 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 |
| 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 |
