| Peano et Burali-Forti précurseurs de la logique combinatoire |
Robert Feys |
J. Baekley Rosser |
1954 |
| Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed |
Haskell B. Curry |
Hugo Ribeiro |
1954 |
| Modalités physiques et techniques |
Leo Apostel |
Alan Ross Anderson |
1954 |
| Die ontologische und die operative Auffassung der Logik |
Paul Lorenzen |
Carl G. Hempel |
1954 |
| Philosophers and research in the soft sciences |
Arne Næss |
Patrick Suppes |
1954 |
| Notes on the theory of reference |
Willard Van Orman Quine |
John G. Kemeny |
1954 |
| A simplified universal Turing machine |
E. F. Moore |
Raymond J. Nelson |
1954 |
| Die philosophische Idee einer nicht-aristotelischen Logik |
Gotthard Günther |
A. R. Turquette |
1954 |
| Stoic logic |
Benson Mates |
Czesław Lejewski |
1954 |
| On certainty in empirical sciences |
Tadeusz Czeżowski |
Patrick Suppes |
1954 |
| Reference and modality |
Willard Van Orman Quine |
John G. Kemeny |
1954 |
| Sur la construction du langage de la physique |
Alfonso Caracciolo di Forino |
Patrick Suppes |
1954 |
| Logic and the vesication of universals |
Willard Van Orman Quine |
John G. Kemeny |
1954 |
| Bemerkungen zum Problem der mehrwertigen Logiken |
Gerhard Frey |
A. R. Turquette |
1954 |
| The nature of philosophical analysis |
S. Körner |
Charles A. Baylis |
1954 |
| Der Teil und die Gesamtheit |
Uuno Saarnio |
A. R. Turquette |
1954 |
| Erwin Koschmieder |
|
A. R. Turquette |
1953 |
| Leçons de logique formelle. Première partie. Logique aticienne. La logique desjugements prédicatifs |
Joseph Dopp |
Maurice L'Abbé |
1953 |
| The weak theory of implication |
Alonzo Church |
Haskell B. Curry |
1953 |
| Edited by Peter Geach and Max Black |
Translations from the philosophical writings of Gottlob Frege |
Alonzo Church |
1953 |
| Ancient formal logic |
I. M. Bocheński |
Robert Feys |
1953 |
| An essay in modal logic |
Georg H. v. Wright |
Alan Ross Anderson |
1953 |
| Elementares über 2-wertige Funktionen von 2-wertigen Variabeln |
Hasso Härlen |
A. R. Turquette |
1953 |
| Distributive and modular laws in the arithmetic of relation algebras |
Louise H. Chin and Alfred Tarski |
J. Richard Büchi |
1953 |
| Zur philosophischen Neugestaltung der logischen Urteilslehre |
Gerhard Stammler |
A. R. Turquette |
1953 |
| The continuum of inductive methods |
Rudolf Carnap |
John G. Kemeny |
1953 |
| Über das Verhältnis von Logik und Dialektik. German translation of XVII 124(3) |
K. S. Bakradse |
J. F. Thomson |
1953 |
| Die Übermodalität der Notwendigkeit in logischer Betrachtung |
Walter Brugger |
A. R. Turquette |
1953 |
| The elements of mathematical logic |
Paul C. Rosenbloom |
Martin Davis |
1953 |
| Outlines of a formalist philosophy of mathematics |
Haskell B. Curry |
J. C. C. McKinsey |
1953 |
| The weak theory of implication |
Alonzo Church |
Haskell B. Curry |
1953 |
| Zur Stufenkoppelung monadischer bivalenter Funktoren |
Albert Menne |
A. R. Turquette |
1953 |
| Traditionelle Logik und positiver Aussagenkalkül |
Alexander Wilhelmy |
A. R. Turquette |
1953 |
| Intentional logic. A logic based on philosophical realism |
Henry Babcock Veatch |
Christopher Blake |
1953 |
| Zur Axiomatik der Wahrscheinlichkeitslehre |
Oskar Anderson |
A. R. Turquette |
1953 |
| Science and hypothesis. With an Introduction by J. Larmor |
H. Poincaré |
Alonzo Church |
1953 |
| Constructive formalism. Essays on the foundations of mathematics |
Haskell B Curry |
Richard J Orgass |
1953 |
| Calculating instruments and machines |
Douglas R. Hartree |
Alonzo Church |
1953 |
| The design of switching circuits. With a Foreword by John Meszar |
William Keister, Alistair E. Ritchie, and Seth H. Washburn |
Alonzo Church |
1953 |
| Über Gleichungen im Aussagenkalkül |
Helmut Angstl |
A. R. Turquette |
1953 |
| Ordnungsrelationen in einer subjektiven Werttheorie |
Eberhard Fels |
A. R. Turquette |
1953 |
| Introduction to logical theory |
P. F. Strawson |
Christopher Blake |
1953 |
| Die Philosophie |
Max Bense |
Roderick M. Chisholm |
1953 |
| 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 |
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 |
1952 |
| Definition |
Richard Robinson |
Robert Feys |
1952 |
| Materials for the study of Navya-nyāya logic |
Daniel Henry Holmes Ingalls |
I. M. Bocheński |
1952 |
| Zur logischen Analyse der Kausalitätsformel im Strafrecht |
Ulrich Klug |
Nicholas Rescher |
1952 |
| Mathematical logic |
Willard van Orman Quine |
Václav Edvard Beneš |
1952 |
| Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jüngsten Philosophiegeschichte |
Victor Kraft |
Ernest H. Hutten |
1952 |
