| Das Spiel mit dent Unendlichen |
Rózsa Péter |
John G. Kemeny |
The Journal of Symbolic Logic |
1956 |
| Griss' criticism of the intuitionistic logic and the theory of order |
P. C. Gilmore |
David Nelson |
The Journal of Symbolic Logic |
1956 |
| An introduction to symbolic logic |
Susanne K. Langer |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| The philosopher's use of analogy. Proceedings of the Aristotelian Society, vol. 38 (1937–1938) |
Margaret MacDonald |
J. F. Thomson |
The Journal of Symbolic Logic |
1956 |
| The language of taxonomy. An application of symbolic logic to the study of classificatory systems |
John R. Gregg |
Carl G. Hempel |
The Journal of Symbolic Logic |
1956 |
| G. Kreisel |
|
G. Hasenjaeger |
The Journal of Symbolic Logic |
1956 |
| Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu eingegangenen Stellungnahmen |
Bruno v. Freytag-Loeringhoff, Oskar Becker, Paul Bernays, I. M. Bochenski, Walter Brugger, Haskell B. Curry, Béla Juhos, Jürgen v. Kempski, Gerhard Stammler |
John van Heijenoort |
The Journal of Symbolic Logic |
1956 |
| Some remarks concerning identity |
Yoemon Sampei |
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1956 |
| A note on systems of logical implication |
Naoto Yonemitsu |
P. G. J. Vredenduin |
The Journal of Symbolic Logic |
1956 |
| N. L. Wilson |
|
Alice Ambrose |
The Journal of Symbolic Logic |
1956 |
| A decision method and a topological interpretation for systems of logical implication |
Naoto Yonemitsu |
P. G. J. Vredenduin |
The Journal of Symbolic Logic |
1956 |
| Yôsô ronrigaku no syomondai (Problems of modal logic). Japanese with English abstract |
Arata Ishimoto |
Takeo Sugihara |
The Journal of Symbolic Logic |
1956 |
| Lehrbuch der Logistik |
Karl Dürr |
Steven Orey |
The Journal of Symbolic Logic |
1956 |
| Carnap no kêkensyugi ni tuite (On Camap's empiricism). Japanese with English abstract |
Shigeo Nagai |
Takeo Sugihara |
The Journal of Symbolic Logic |
1956 |
| Der gegenwärtige Stand der Grundlagenforschung in der Mathematik |
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski |
Leon Henkin |
The Journal of Symbolic Logic |
1956 |
| Japanese with English abstract |
Masumi Honke. C. I. Lewis no bunsekiteki sinri to kêkenteki ninsiki ni kansuru iti kôsatu (A study of analytic truth and empirical knowledge in C. I. Lewis) |
Takeo Sugihara |
The Journal of Symbolic Logic |
1956 |
| Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952) |
Kinjiro Kunugui |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1956 |
| The Rise of Scientific Philosophy |
Hans Reichenbach |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Collection de logique mathématique, série A. Offset |
Dequoy N.. Axiomatique intuitionniste sans négation de la géométrie projective |
P. C. Gilmore |
The Journal of Symbolic Logic |
1955 |
| Arthur Pap |
|
Carl G. Hempel |
The Journal of Symbolic Logic |
1955 |
| Symposium: Justification in science |
Arthur W. Burks |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
George D. W. Berry |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| Symbolism in mathematics and logic |
J. J. Callahan |
Noam Chomsky |
The Journal of Symbolic Logic |
1955 |
| Tense usage and propositions |
L. Jonathan Cohen |
Alice Ambrose |
The Journal of Symbolic Logic |
1955 |
| Fugitive propositions. A reprint of XV 151(1) |
Austin Duncan-Jones |
Alice Ambrose |
The Journal of Symbolic Logic |
1955 |
| Formal and informal logic |
Gilbert Ryle |
A. U. Turquette |
The Journal of Symbolic Logic |
1955 |
| A. M. MacIver |
|
Noam Chomsky |
The Journal of Symbolic Logic |
1955 |
| Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics |
Hans Reichenbach |
Carl G. Hempel |
The Journal of Symbolic Logic |
1955 |
| Naihó ronrigaku no keiskikika (Formalization of an intensional logic) |
Shozo Ômori |
S. Kuroda |
The Journal of Symbolic Logic |
1955 |
| Zutn Problem der Konstitution von Bedeutung |
Hans Heinz Holz |
Alonzo Church |
The Journal of Symbolic Logic |
1955 |
| Three contributions to recursive function theory |
J. R. Myhill |
Norman Shapiro |
The Journal of Symbolic Logic |
1955 |
| Events and language |
Bernard Mayo |
Alice Ambrose |
The Journal of Symbolic Logic |
1955 |
| Théorie métamathématique des idéaux. Collection de logique mathématique, série A. Dactyl-offset |
Abraham Robinson |
Paul R. Halmos |
The Journal of Symbolic Logic |
1955 |
| Zur Logik als Lehre von Identität und Verschiedenheit |
Bruno Baron von Freytag Löringhoff |
A. N. Prior |
The Journal of Symbolic Logic |
1955 |
| Many-valued Logics |
J. B. Rosser and A. R. Turquette |
Bolesław Sobociński |
The Journal of Symbolic Logic |
1955 |
| Abstract set theory |
Abraham A. Fraenkel |
Robert McNaughton |
The Journal of Symbolic Logic |
1955 |
| Wilfrid Sellars |
|
Rulon Wells |
The Journal of Symbolic Logic |
1955 |
| Truth and consequence in mediaeval logic |
Ernest A. Moody |
Philotheus Boehner |
The Journal of Symbolic Logic |
1955 |
| Leibniz and philosophical analysis |
R. M. Yost Jr |
Nicholas Rescher |
The Journal of Symbolic Logic |
1955 |
| Stephen Toulmin |
|
Carl G. Hempel |
The Journal of Symbolic Logic |
1955 |
| On Carnap's analysis of statements of assertion and belief. A reprint of XVI 76(3) |
Alonzo Church |
Rulon Wells |
The Journal of Symbolic Logic |
1955 |
| Leibniz. With a foreword by A. J. Ayer |
Ruth Lydia Saw |
Nicholas Rescher |
The Journal of Symbolic Logic |
1955 |
| A propos d'une réduction fallacieuse des notions d'existence et de vérité |
Franz Crahay |
Carl G. Hempel |
The Journal of Symbolic Logic |
1955 |
| The relations of symbolic logic and comparative linguistics |
A. J. J. De Witte |
Noam Chomsky |
The Journal of Symbolic Logic |
1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
John R. Myhill |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| Postscript (1954) |
Patrick Nowell Smith |
Alice Ambrose |
The Journal of Symbolic Logic |
1955 |
| Solvable and unsolvable problems |
A. M. Turing |
S. C. Kleene |
The Journal of Symbolic Logic |
1955 |
| Strict implication free from implicational paradoxes |
Takeo Sugihara |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1955 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
The Journal of Symbolic Logic |
1955 |
| Three grades of modal involvement |
W. V. Quine |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
