| Introduction to model theory and to the metamathematics of algebra |
Abraham Robinson |
Carol R. Karp |
The Journal of Symbolic Logic |
1964 |
| The Logic of Perfection and other Essays in Neoclassical Metaphysics |
Charles Hartshorne |
Alastair McKinnon |
Dialogue |
1963-09-01 |
| Problema sovpadenija dialektiki, logiki i teorii poznanija (po Filosofskim tetradjam V. I. Lenina) (The Problem of the Coincidence of Dialectic, Logic and Theory of Knowledge (On the Basis of Lenin's "Philosophic Notebooks")) |
A. X. Kasymžanov |
T. J. Blakeley |
Studies in Soviet Thought |
1963-09-00 |
| Dialektika i logika. Zakony myšlenija (Dialectic and Logic. The Laws of Thought) |
B. M. Kedrova |
T. J. Blakeley |
Studies in Soviet Thought |
1963-06-00 |
| Dialektika i logika. Formy myšlenija (Dialectic and Logic. The Forms of Thought) |
B. M. Kedrova |
T. J. Blakeley |
Studies in Soviet Thought |
1963-06-00 |
| The Development of Logic |
William Kneale and Martha Kneale |
Jon Wheatley |
Dialogue |
1963-03-01 |
| Materialističeskaja dialektika kak logika i teorija poznanija (The Materialist Dialectic as Logic and Epistemology) |
V. I. Čerkesov |
T. J. Blakeley |
Studies in Soviet Thought |
1963-03-00 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Monroe C. Beardsley |
Philosophy of Science |
1963-01-01 |
| Gerold Stahl. Fragenfolgen. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
David Harrah |
The Journal of Symbolic Logic |
1963 |
| Logic: the theory of formal inference |
Alice Ambrose and Morris Lazerowitz |
Donald Kalish |
The Journal of Symbolic Logic |
1963 |
| Grundzüge der mathematischen Logik |
Heinrich Scholz and Gisbert Hasenjaeger |
Gert Heinz Müller |
The Journal of Symbolic Logic |
1963 |
| Mathematics and logic |
Alonzo Church |
E. J. Lemmon |
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 |
| Being, Negation and Logic |
Eric Toms |
י. ב—ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1962-07-00 |
| Logic and Knowledge: Essays 1901-1950 |
Russell Bertrand |
T. Honderich |
Philosophy |
1962-01-01 |
| Mathematical logic: Constructive and non-constructive operations |
S. C. Kleene |
Julia Robinson |
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 |
| 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 |
| Ordinal logics and the characterization of informal concepts of proof |
G. Kreisel |
Dana Scott |
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 |
| 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 |
| 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 |
| Boolean algebra and its applications |
J. Eldon Whitesitt |
Thomas H. Mott |
The Journal of Symbolic Logic |
1962 |
| The Principles of Science. A Treatise on Logic and Scientific Method |
W. Stanley Jevons |
William Kneale |
The British Journal for the Philosophy of Science |
1960-11-01 |
| Operational research and cybernetics |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Cybernetics and management |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Ordered structures and related concepts |
Abraham Robinson |
W. Peremans |
The Journal of Symbolic Logic |
1960 |
| Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol |
D. Hilbert and W. Ackermann |
F. H. Fischer |
The Journal of Symbolic Logic |
1960 |
| Time and Modality |
A. N. Prior |
S. Kanger |
The Journal of Symbolic Logic |
1960 |
| A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956) |
R. H. Urbano and R. K. Mueller |
Thomas H. Mott |
The Journal of Symbolic Logic |
1960 |
| Logic and psychology |
Jean Piaget |
Carl G. Hempel |
The Journal of Symbolic Logic |
1960 |
| Psychology of judgment and choice: A theoretical essay |
Frank Restle |
Alonzo Church |
The Journal of Symbolic Logic |
1960 |
| Communication, organization and science. With a foreword by C. A. Muses |
Jerome Rothstein |
Leon Henkin |
The Journal of Symbolic Logic |
1960 |
| Facts and Logic |
Chapter I. Theory of Scientific Method |
Arnold Brecht |
Political Theory |
1959-12-31 |
| Logic and the Nature of Reality |
Louis O. Kattsoff |
P. L. Heath |
Philosophy |
1959-07-00 |
| 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 definability and derivability |
G. Hasenjaeger |
Thomas Frayne |
The Journal of Symbolic Logic |
1959 |
| Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings |
Max H. Fisch and Daniel C. Haskell |
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| A first course in modern logic |
Edith Watson Schipper and Edward Schuh |
Hugues Leblanc |
The Journal of Symbolic Logic |
1959 |
| Semantiske problemer i logik og lingvistik (Semantic problems in logic and linguistics). Nordisk Sommeruniversitet 1953. Vetenskapens funktion i samhället. (Moderne Videnskab. Orientering og debat |
Paul Diderichsen |
Anders Wedberg |
The Journal of Symbolic Logic |
1959 |
| Gödei's proof |
Ernest Nagel and James R. Newman |
Th. Skolem |
The Journal of Symbolic Logic |
1959 |
| Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1959 |
| Max H. Fisch and Jackson I. Cope |
|
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| Peirce's contribution to the logic of statements and quantifiers |
George D. W. Berry |
Rulon Wells |
The Journal of Symbolic Logic |
1959 |
| On mathematics and mathematicians |
Robert Edouard Moritz |
Alonzo Church |
The Journal of Symbolic Logic |
1959 |
| Logic without Metaphysics, and other Essays in the Philosophy of Science |
Ernest Nagel |
MARY B. Hesse |
The British Journal for the Philosophy of Science |
1958-11-01 |
| Meaning and necessity. A study in semantics and modal logic |
Rudolf Carnap |
C. Lejewski |
The British Journal for the Philosophy of Science |
1958-11-01 |
| Logic without Metaphysics: And other Essays in the Philosophy of Science |
Hugues Leblanc |
Henry Veatch |
Philosophy of Science |
1958-10-01 |
| Logic and Knowledge: Essays 1901-1950 |
P. F. Strawson |
Hugo A. Bedau |
Philosophy of Science |
1958-04-01 |
