| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics |
G. Kreisel |
The Journal of Symbolic Logic |
1970 |
| Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall |
Tadeusz Kotarbiński |
Witold A. Pogorzelski |
The Journal of Symbolic Logic |
1970 |
| A theory of formal deducibility |
Haskell B. Curry |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969-05-29 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Theory of formal systems |
Raymond M. Smullyan |
Marian Boykan Pour-El |
The Journal of Symbolic Logic |
1965 |
| Some formal details on predicative set theories |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Leon Henkin |
The Journal of Symbolic Logic |
1965 |
| Logic — Techniques of Formal Reasoning Donald Kalish Richard Montague |
Donald Kalish |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Introductory Formal Logic of Mathematics |
B. H. Nidditch |
Jon Wheatley |
Dialogue |
1964-03-01 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Monroe C. Beardsley |
Philosophy of Science |
1963-01-01 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Donald Kalish |
The Journal of Symbolic Logic |
1963 |
| A History of Formal Logic |
I. M. Bochenski |
Dennis C. Kane |
The Thomist: A Speculative Quarterly Review |
1962-01-01 |
| Formal Logic |
A. N. Prior |
Hugues Leblanc |
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 |
| Completeness results for formal systems |
E. W. Beth |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Introductory Formal Logic of Mathematics |
P. H. Nidditch |
Gert Heinz Müller |
The Journal of Symbolic Logic |
1960 |
| On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953) |
G. Kreisel |
William Craig |
The Journal of Symbolic Logic |
1959 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
The Journal of Symbolic Logic |
1957 |
| Madkhalé manteghé sooraat (Introduction to formal logic) |
Gholam-Hossein Mosaheb |
L. A. Zadeh |
The Journal of Symbolic Logic |
1957 |
| Formal Logic |
A. N. Prior |
Ivo Thomas |
Philosophy |
1956-10-00 |
| Formal and informal logic |
Gilbert Ryle |
A. U. Turquette |
The Journal of Symbolic Logic |
1955 |
| Ancient Formal Logic I. M. Bochenski |
J. B. H. |
י. ב. ה |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1954-04-00 |
| Ancient Formal Logic I. M. Bocheński |
I. M. Bocheński |
Gert Heinz Müller |
Dialectica |
1954-03-01 |
| Aristotle's Syllogistic from the standpoint of modern formal logic |
Jan Łukasiewicz |
J. H. Woodger |
The British Journal for the Philosophy of Science |
1953-11-01 |
| Ancient formal logic |
I. M. Bocheński |
Robert Feys |
The Journal of Symbolic Logic |
1953 |
| Aristotle's Syllogistic from the standpoint of modern formal logic |
Jan Łukasiewicz |
Philotheus Boehner |
The Journal of Symbolic Logic |
1952 |
| A theory of formal deducibility |
Haskell B. Curry |
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1951 |
| Curry. Languages and formal systems |
H.B |
Carl G. Hempel |
The Journal of Symbolic Logic |
1950 |
| A primer of formal logic |
John C. Cooley |
George D. W. Berry |
The Journal of Symbolic Logic |
1943 |
| Formal Logic: Its Scope and Limits |
Richard C. Jeffrey |
|
Philosophy of Science |
1939-07-01 |
| The Traditional Formal Logic |
W. A. Sinclair |
George Brown |
Philosophy |
1938-07-00 |
| Foundations of Formal Logic |
H Bradford Smith |
Ralph M Eaton |
The Journal of Philosophy |
1922-12-01 |
| Formal Logic: A Scientific and Social Problem |
F. C. S. Schiller |
J. B. Payne |
Ethics |
1913-04-01 |
