| Zur Logik als Lehre von Identität und Verschiedenheit |
Bruno Baron von Freytag Löringhoff |
A. N. Prior |
1955 |
| Many-valued logics |
J. B. Rosser and A. R. Turquette |
Bolesław Sobociński |
1955 |
| Abstract set theory |
Abraham A. Fraenkel |
Robert McNaughton |
1955 |
| Wilfrid Sellars |
|
Rulon Wells |
1955 |
| Truth and consequence in mediaeval logic |
Ernest A. Moody |
Philotheus Boehner |
1955 |
| Leibniz and philosophical analysis |
R. M. Yost Jr |
Nicholas Rescher |
1955 |
| Stephen Toulmin |
|
Carl G. Hempel |
1955 |
| On Carnap's analysis of statements of assertion and belief. A reprint of XVI 76(3) |
Alonzo Church |
Rulon Wells |
1955 |
| Leibniz. With a foreword by A. J. Ayer |
Ruth Lydia Saw |
Nicholas Rescher |
1955 |
| A propos d'une réduction fallacieuse des notions d'existence et de vérité |
Franz Crahay |
Carl G. Hempel |
1955 |
| The relations of symbolic logic and comparative linguistics |
A. J. J. De Witte |
Noam Chomsky |
1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
John R. Myhill |
A. R. Turquette |
1955 |
| Postscript (1954) |
Patrick Nowell Smith |
Alice Ambrose |
1955 |
| Solvable and unsolvable problems |
A. M. Turing |
S. C. Kleene |
1955 |
| Strict implication free from implicational paradoxes |
Takeo Sugihara |
Alan Ross Anderson |
1955 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
1955 |
| Three grades of modal involvement |
W. V. Quine |
A. R. Turquette |
1955 |
| Truth. A reprint of XV 215(2) |
P. F. Strawson |
Alice Ambrose |
1955 |
| Heterologicality |
Gilbert Ryle |
Steven Orey |
1955 |
| Symposium: Justification in science |
Frederic B. Fitch |
A. R. Turquette |
1955 |
| Philosophy and the axiomatic foundations of physics |
J. C. C. McKinsey and Patrick Suppes |
A. R. Turquette |
1955 |
| Postscript (1954) |
L. Jonathan Cohen |
Alice Ambrose |
1955 |
| An introduction to mathematical thought |
E. R. Stabler |
A. R. Turquette |
1955 |
| Introduction |
Nigel Cutland |
H B Enderton |
1955 |
| Some questions about ‘know’ and ‘think.’ A reprint of III 158(2) |
A. M. MacIver |
Alice Ambrose |
1955 |
| Meaning and existential inference |
Willard Van Orman Quine |
John G. Kemeny |
1954 |
| Symbolic logic |
Irving M. Copi |
Hugues Leblanc |
1954 |
| On recursive definitions in empirical sciences |
Yehoshua Bar-Hillel |
Abner Shimony |
1954 |
| Mathematische Logik. Enzyklopädie der mathematischen Wissenschaften, Band I, Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil I, B.G |
H. Hermes and H. Scholz |
Hartley Rogers |
1954 |
| Introduction to the foundations of mathematics |
Raymond L. Wilder |
Alfons Borgers |
1954 |
| Introduction to metamathematics |
Stephen Cole Kleene |
H. Rasiowa |
1954 |
| Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel |
Andrzej Mostowski |
G. Hasenjaeger |
1954 |
| Über den Begriff des Merkmalraumes |
Raili Kauppi |
A. R. Turquette |
1954 |
| La structure des théories physiques. With a preface by Louis de Broglie |
Paulette Destouches-Février |
J. C. C. McKinsey |
1954 |
| Une méthode de décision pour certaines formules du calcul des prédicats |
S. Issmann |
Wilhelm Ackermann |
1954 |
| Sur la description de certains modèles d'un système formel |
E. W. Beth |
J. Barkley Rosser |
1954 |
| Synonymity |
Benson Mates |
J. F. Thomson |
1954 |
| On the pseudo-set |
Tameharu Shirai |
Alonzo Church |
1954 |
| Sur la tâche de la philosophie des mathématiques |
A. Heyting |
Th. Skolem |
1954 |
| Introduction to logic |
Irving M. Copi |
Hugues Leblanc |
1954 |
| Intention and understanding |
Karl Aschenbrenner |
J. F. Thomson |
1954 |
| Propositions and sentences |
Paul Marhenke |
J. F. Thomson |
1954 |
| Analytic and synthetic propositions and mathematical logic |
N. O. Lossky |
Christopher Blake |
1954 |
| Meaning and truth |
Donald Kalish |
J. F. Thomson |
1954 |
| L'analyse linguistique de la représentation |
Andrea Galimberti |
Roderick M. Chisholm |
1954 |
| Les systèmes axiomatiques de la théorie des ensembles. With a preface by P. Destouches-Février. Collection de logique mathématique, série A. Lithographed |
Hao Wang and Robert McNaughton |
Alfons Borgers |
1954 |
| Conventional logic and modern logic. A prelude to transition. Philosophical studies of the American Catholic Philosophical Association, Volume III |
Joseph T. Clark |
Benson Mates |
1954 |
| Die Implication als echte Wenn-so-Beziehung. Bemerkungen zu den “Fundamental-Paradoxien” der Logistik |
Paul F. Linke |
Roderick M. Chisholm |
1954 |
| Zum Verhältnis von Existenz und Widerspruchsfreiheit |
Arnold Schmidt |
Wilhelm Ackermann |
1954 |
| A new system of modal logic |
G. H. von Wright |
Naoto Yonemitsu |
1954 |
