| On uniquely solvable Boolean equations |
W. L. Parker and B. A. Bernstein |
William Wernick |
1957 |
| Wolfram Schwabhäuser: Zur Definition des geordneten Paares im einstelligen Stufenkalkül |
|
William Craig |
1956 |
| Yoemon Sampei |
|
Wilhelm Ackermann |
1956 |
| Die endlichwertigen Łuhasiewiczschen Aussagenkalküle |
Günter Asser |
A. R. Turquette |
1956 |
| Naoto Yonemitsu |
|
Alan Ross Anderson |
1956 |
| On non-translational semantics |
R. M. Martin |
George D. W. Berry |
1956 |
| Ronriteki bunseki no honsei to genkai (Logical analysis — its nature and its limits). Japanese with English abstract |
Masaharu Sawai |
Takeo Sugihara |
1956 |
| Notes on existence and necessity |
Willard V. Quine |
Alonzo Church |
1956 |
| Logik. Translated by Samuel Szemere |
Béla Fogarasi |
Alonzo Church |
1956 |
| Preface |
Leonard Linsky |
Alonzo Church |
1956 |
| Le paradoxe du “sorite” d'Eubulide de Mégare |
E. W. Beth |
J. F. Thomson |
1956 |
| The semantic conception of truth and the foundations of semantics. A reprint of IX 68 (with omission of the Spanish abstract) |
Alfred Tarski |
Alonzo Church |
1956 |
| Problems and changes in the empiricist criterion of meaning. A reprint of XVI 293(1) |
Carl G. Hempel |
Richard E. Robinson |
1956 |
| R. M. Martin |
|
Alice Ambrose |
1956 |
| Frege on functions |
Max Black |
Alonzo Church |
1956 |
| Intuitionism. An introduction |
A. Heyting |
Sigekatu Kuroda |
1956 |
| Some logical concepts for syntax |
Luitgard Wundheiler and Alex Wundheiler |
Alonzo Church |
1956 |
| Das Spiel mit dent Unendlichen |
Rózsa Péter |
John G. Kemeny |
1956 |
| Griss' criticism of the intuitionistic logic and the theory of order |
P. C. Gilmore |
David Nelson |
1956 |
| An introduction to symbolic logic |
Susanne K. Langer |
Alonzo Church |
1956 |
| The philosopher's use of analogy. Proceedings of the Aristotelian Society, vol. 38 (1937–1938), |
Margaret MacDonald |
J. F. Thomson |
1956 |
| The language of taxonomy. An application of symbolic logic to the study of classificatory systems |
John R. Gregg |
Carl G. Hempel |
1956 |
| G. Kreisel |
|
G. Hasenjaeger |
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 |
1956 |
| Some remarks concerning identity |
Yoemon Sampei |
Wilhelm Ackermann |
1956 |
| A note on systems of logical implication |
Naoto Yonemitsu |
P. G. J. Vredenduin |
1956 |
| N. L. Wilson |
|
Alice Ambrose |
1956 |
| A decision method and a topological interpretation for systems of logical implication |
Naoto Yonemitsu |
P. G. J. Vredenduin |
1956 |
| Yôsô ronrigaku no syomondai (Problems of modal logic). Japanese with English abstract |
Arata Ishimoto |
Takeo Sugihara |
1956 |
| Lehrbuch der Logistik |
Karl Dürr |
Steven Orey |
1956 |
| Carnap no kêkensyugi ni tuite (On Camap's empiricism). Japanese with English abstract |
Shigeo Nagai |
Takeo Sugihara |
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 |
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 |
1956 |
| Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952), |
Kinjiro Kunugui |
J. Barkley Rosser |
1956 |
| The rise of scientific philosophy |
Hans Reichenbach |
Alonzo Church |
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 |
1955 |
| Arthur Pap |
|
Carl G. Hempel |
1955 |
| Symposium: Justification in science |
Arthur W. Burks |
A. R. Turquette |
1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
George D. W. Berry |
A. R. Turquette |
1955 |
| Symbolism in mathematics and logic |
J. J. Callahan |
Noam Chomsky |
1955 |
| Tense usage and propositions |
L. Jonathan Cohen |
Alice Ambrose |
1955 |
| Fugitive propositions. A reprint of XV 151(1) |
Austin Duncan-Jones |
Alice Ambrose |
1955 |
| Formal and informal logic |
Gilbert Ryle |
A. U. Turquette |
1955 |
| A. M. MacIver |
|
Noam Chomsky |
1955 |
| Nomological statements and admissible operations |
Hans Reichenbach |
Carl G. Hempel |
1955 |
| Naihó ronrigaku no keiskikika (Formalization of an intensional logic) |
Shozo Ômori |
S. Kuroda |
1955 |
| Zutn Problem der Konstitution von Bedeutung |
Hans Heinz Holz |
Alonzo Church |
1955 |
| Three contributions to recursive function theory |
J. R. Myhill |
Norman Shapiro |
1955 |
| Events and language |
Bernard Mayo |
Alice Ambrose |
1955 |
| Théorie métamathématique des idéaux. Collection de logique mathématique, série A. Dactyl-offset |
Abraham Robinson |
Paul R. Halmos |
1955 |
