| The axiomatization of arithmetic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Mathematical logic |
R. L. Goodstein |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1963 |
| Mathematics and logic |
Alonzo Church |
E. J. Lemmon |
The Journal of Symbolic Logic |
1963 |
| An introduction to critical thinking. A beginner's text in logic |
W. H. Werkmeister |
James Wilkinson Miller |
The Journal of Symbolic Logic |
1963 |
| Many-sorted predicate calculi. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Systems of weak implication |
Naoto Yonemitsu |
W. T. Parry |
The Journal of Symbolic Logic |
1963 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
The Journal of Symbolic Logic |
1963 |
| Mathematical logic: Constructive and non-constructive operations |
S. C. Kleene |
Julia Robinson |
The Journal of Symbolic Logic |
1962 |
| The Quine algorithm |
R. Fridshal |
Thomas H. Mott |
The Journal of Symbolic Logic |
1962 |
| Applications to field theory |
Abraham Robinson |
C. C. Chang |
The Journal of Symbolic Logic |
1962 |
| Le problème du language et l'ouverture à l′expérience |
Ferdinand Gonseth |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1962 |
| Formal Logic |
A. N. Prior |
Hugues Leblanc |
The Journal of Symbolic Logic |
1962 |
| Experience and the Analytic: A Reconsideration of Empiricism |
Alan Pasch |
Yehoshua Bar-Hillel |
The Journal of Symbolic Logic |
1962 |
| Recursive analysis |
R. L. Goodstein |
James R. Guard |
The Journal of Symbolic Logic |
1962 |
| Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407 |
Abraham Robinson |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1962 |
| Applied Boolean algebra. An elementary introduction |
Franz E. Hohn |
Thomas H. Mott |
The Journal of Symbolic Logic |
1962 |
| O néprotivoréčivosti nékotoryh logičéskih isčislénij (On the consistency of some logical calculi) |
P. S. Novikov |
Andrzej Mostowski |
The Journal of Symbolic Logic |
1962 |
| The foundations of mathematics. A study in the philosophy of science |
Evert W. Beth |
A. Nerode |
The Journal of Symbolic Logic |
1962 |
| Ordinal logics and the characterization of informal concepts of proof |
G. Kreisel |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Countable functionals |
Dag Normann |
Donald L. Kreider |
The Journal of Symbolic Logic |
1962 |
| S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting. Studies in logic and the foundations of mathematics |
Donald L. Kreider |
The Journal of Symbolic Logic |
1962 |
| Aristotle's syllogistic from the standpoint of modern formal logic |
Lynn E Rose |
Ivan Boh |
The Journal of Symbolic Logic |
1962 |
| Perceiving: A Philosophical Study |
Roderick M. Chisholm |
Charles A. Baylis |
The Journal of Symbolic Logic |
1962 |
| Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby) |
A. A. Markov |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959) |
Alfred Tarski |
John van Heijenoort |
The Journal of Symbolic Logic |
1962 |
| Completeness results for formal systems |
E. W. Beth |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Induction and hypothesis, A study of the logic of confirmation |
S. F. Barker |
Lars Svenonius |
The Journal of Symbolic Logic |
1962 |
| The Development of Logic |
William Kneale and Martha Kneale |
Benson Mates |
The Journal of Symbolic Logic |
1962 |
| Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé |
H. Arnold Schmidt |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1962 |
| Symbolic representations of calculating machines |
Hao Wang |
C. C. Elgot |
The Journal of Symbolic Logic |
1962 |
| The grammar of English nominalizations |
Robert B. Lees |
Joachim Lambek |
The Journal of Symbolic Logic |
1962 |
| John L. Kelley |
|
Francis P. Larkin |
The Journal of Symbolic Logic |
1962 |
| Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam |
A. Heyting. Studies in logic and the foundations of mathematics |
Carol R. Karp |
The Journal of Symbolic Logic |
1962 |
| Statistical estimation of provability in Boolean logic |
Antoniń Špaček |
A. A. Mullin |
The Journal of Symbolic Logic |
1962 |
| The basic concepts of algebraic logic |
Paul R. Halmos |
Aubert Daigneault |
The Journal of Symbolic Logic |
1962 |
| M.I.T |
C Goekoop |
Sibajiban |
The Journal of Symbolic Logic |
1962 |
| Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre |
Paul Bernays |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1962 |
| Some metamathematical problems concerning elementary hyperbolic geometry |
Wanda Szmielew |
Thomas Frayne |
The Journal of Symbolic Logic |
1962 |
| Boolean algebra and its applications |
J. Eldon Whitesitt |
Thomas H. Mott |
The Journal of Symbolic Logic |
1962 |
| Formulario mathematico. Riproduzione in fac-simile dell'edizione originale |
Giuseppe Peano |
Alonzo Church |
The Journal of Symbolic Logic |
1962 |
| Formale Logik |
I. M. Bocheński |
Benson Mates |
The Journal of Symbolic Logic |
1960 |
| Beweistheorie |
Kurt Schütte |
Georg Kreisel |
The Journal of Symbolic Logic |
1960 |
| Hebrew translation of XII 61(1) by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski |
Alfred Tarski |
Azriel Lévy |
The Journal of Symbolic Logic |
1960 |
| A three-valued logic with meaning-operator |
Takeo Sugihara |
Gene F. Rose |
The Journal of Symbolic Logic |
1960 |
| Operational research and cybernetics |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe |
János Surányi |
Joseph S. Wholey |
The Journal of Symbolic Logic |
1960 |
| Épistemologie et mécanisation du diagnostic et de la thérapeutique, La logique ternaire |
François Paycha |
Clifford Spector |
The Journal of Symbolic Logic |
1960 |
| A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam |
Karel Louis de Bouvère |
Gert H. Müller |
The Journal of Symbolic Logic |
1960 |
| The reach of science |
Henryk Mehlberg |
Edward Poznański |
The Journal of Symbolic Logic |
1960 |
| Cybernetics and management |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
