| Erwin Koschmieder |
|
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs |
Joseph Dopp |
Maurice L'Abbé |
The Journal of Symbolic Logic |
1953 |
| The weak theory of implication |
Alonzo Church |
Haskell B. Curry |
The Journal of Symbolic Logic |
1953 |
| Translations from the Philosophical Writings of Gottlob Frege |
Gottlob Frege |
Alonzo Church |
The Journal of Symbolic Logic |
1953 |
| Ancient Formal Logic |
I. M. Bocheński |
Robert Feys |
The Journal of Symbolic Logic |
1953 |
| An Essay in Modal Logic |
Georg H. v. Wright |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1953 |
| Elementares über 2-wertige Funktionen von 2-wertigen Variabeln |
Hasso Härlen |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Distributive and modular laws in the arithmetic of relation algebras |
Louise H. Chin and Alfred Tarski |
J. Richard Büchi |
The Journal of Symbolic Logic |
1953 |
| Zur philosophischen Neugestaltung der logischen Urteilslehre |
Gerhard Stammler |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| The continuum of inductive methods |
Rudolf Carnap |
John G. Kemeny |
The Journal of Symbolic Logic |
1953 |
| Über das Verhältnis von Logik und Dialektik. German translation of XVII 124(3) |
K. S. Bakradse |
J. F. Thomson |
The Journal of Symbolic Logic |
1953 |
| Die Übermodalität der Notwendigkeit in logischer Betrachtung |
Walter Brugger |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| The Elements of Mathematical Logic |
Paul C. Rosenbloom |
Martin Davis |
The Journal of Symbolic Logic |
1953 |
| Outlines of a Formalist Philosophy of Mathematics |
Haskell B. Curry |
J. C. C. McKinsey |
The Journal of Symbolic Logic |
1953 |
| The weak theory of implication |
Alonzo Church |
Haskell B. Curry |
The Journal of Symbolic Logic |
1953 |
| Zur Stufenkoppelung monadischer bivalenter Funktoren |
Albert Menne |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Traditionelle Logik und positiver Aussagenkalkül |
Alexander Wilhelmy |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Intentional logic. A logic based on philosophical realism |
Henry Babcock Veatch |
Christopher Blake |
The Journal of Symbolic Logic |
1953 |
| Zur Axiomatik der Wahrscheinlichkeitslehre |
Oskar Anderson |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Science and hypothesis. With an Introduction by J. Larmor |
H. Poincaré |
Alonzo Church |
The Journal of Symbolic Logic |
1953 |
| Constructive formalism. Essays on the foundations of mathematics |
Haskell B Curry |
John Myhill |
The Journal of Symbolic Logic |
1953 |
| Calculating instruments and machines |
Douglas R. Hartree |
Alonzo Church |
The Journal of Symbolic Logic |
1953 |
| The design of switching circuits. With a Foreword by John Meszar |
William Keister, Alistair E. Ritchie, and Seth H. Washburn |
Alonzo Church |
The Journal of Symbolic Logic |
1953 |
| Über Gleichungen im Aussagenkalkül |
Helmut Angstl |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Ordnungsrelationen in einer subjektiven Werttheorie |
Eberhard Fels |
A. R. Turquette |
The Journal of Symbolic Logic |
1953 |
| Introduction to Logical Theory |
P. F. Strawson |
Christopher Blake |
The Journal of Symbolic Logic |
1953 |
| Die Philosophie |
Max Bense |
Roderick M. Chisholm |
The Journal of Symbolic Logic |
1953 |
| Symbolic Logic |
University of Pennsylvania |
C. W. C. |
Philosophy of Science |
1952-04-01 |
| Contributions to the founding of the theory of transfinite numbers. Translated, and provided with an introduction and notes, by Philip E. B. Jourdain |
Georg Cantor |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
| A decision method for elementary algebra and geometry. Prepared for publication with the assistance of J. C. C. McKinsey. Second edition, revised. Lithoprinted |
Alfred Tarski |
Leon Henkin |
The Journal of Symbolic Logic |
1952 |
| Definition |
Richard Robinson |
Robert Feys |
The Journal of Symbolic Logic |
1952 |
| Materials for the Study of Navya-Nyāya Logic |
Daniel Henry Holmes Ingalls |
I. M. Bocheński |
The Journal of Symbolic Logic |
1952 |
| Zur logischen Analyse der Kausalitätsformel im Strafrecht |
Ulrich Klug |
Nicholas Rescher |
The Journal of Symbolic Logic |
1952 |
| Mathematical logic |
Willard van Orman Quine |
Václav Edvard Beneš |
The Journal of Symbolic Logic |
1952 |
| Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jüngsten Philosophiegeschichte |
Victor Kraft |
Ernest H. Hutten |
The Journal of Symbolic Logic |
1952 |
| Juristische Logik |
Ulrich Klug |
Nicholas Rescher |
The Journal of Symbolic Logic |
1952 |
| A formulation of the logic of sense and denotation |
Alonzo Church |
Rulon Wells |
The Journal of Symbolic Logic |
1952 |
| The calculi of lambda-conversion |
Alonzo Church |
S. C. Kleene |
The Journal of Symbolic Logic |
1952 |
| On the metamathematics of algebra |
Abraham Robinson |
Leon Henkin |
The Journal of Symbolic Logic |
1952 |
| Esquema para una historia de la Iógica. Asomanle (San Juan, Puerto Rico), vol. 4 no. 4 (1948) |
José Ferrater Mora |
Paul Henle |
The Journal of Symbolic Logic |
1952 |
| Logical syntax and transformation rules |
George W. Patterson |
Arthur W. Burks |
The Journal of Symbolic Logic |
1952 |
| Aristotle's Syllogistic from the standpoint of modern formal logic |
Jan Łukasiewicz |
Philotheus Boehner |
The Journal of Symbolic Logic |
1952 |
| Symbolic logic. An introduction |
Frederic Brenton Fitch |
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1952 |
| Special cases of the decision problem |
Alonzo Church |
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1952 |
| Introduction |
A. G. N. Flew |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
| Mathematische Grundlagenforschung. Enzyklopädie der mathematischen Wissenschaften, Band I. Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil II, B.G |
Arnold Schmidt |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
| Über das Indukttonsschema in der rekursiven Zahlentheorie |
Paul Bernays |
G. Kreisel |
The Journal of Symbolic Logic |
1952 |
| Ring-logics and p-rings |
Alfred L. Foster |
A. R. Turquette |
The Journal of Symbolic Logic |
1952 |
| The propositional logic of Boethius |
Karl Dürr |
Benson Mates |
The Journal of Symbolic Logic |
1952 |
| Introduction to mathematical thinking. The formation of concepts in modern mathematics. With a foreword by Karl Menger. Translated by Theodore J. Benac |
Friedrich Waismann |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
