| Logik. Translated by Samuel Szemere |
Béla Fogarasi |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Preface |
Leonard Linsky |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Le paradoxe du “sorite” d'Eubulide de Mégare |
E. W. Beth |
J. F. Thomson |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1956 |
| Problems and changes in the empiricist criterion of meaning. A reprint of XVI 293(1) |
Carl G. Hempel |
Richard E. Robinson |
The Journal of Symbolic Logic |
1956 |
| R. M. Martin |
|
Alice Ambrose |
The Journal of Symbolic Logic |
1956 |
| Frege on functions |
Max Black |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Intuitionism. An introduction |
A. Heyting |
Sigekatu Kuroda |
The Journal of Symbolic Logic |
1956 |
| Some logical concepts for syntax |
Luitgard Wundheiler and Alex Wundheiler |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| 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 |
| The Logic of Modern Science |
J. R. Kantor |
E. H. Hutten |
The British Journal for the Philosophy of Science |
1955-11-01 |
| An Introduction to Deductive Logic |
John van Heijenoort |
Herbert Hockberg |
Philosophy of Science |
1955-10-01 |
| Essays in Experimental Logic |
John Dewey |
George R. Geiger |
Philosophy of Science |
1955-04-01 |
| Methods of Logic |
W. Van Orman Quine |
Oscar Wood |
Philosophy |
1955-04-00 |
| Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics |
Hans Reichenbach |
Czesław Lejewski |
The British Journal for the Philosophy of Science |
1955-02-01 |
| Language, Truth and Logic |
Marthe Sturm |
R. F. Atkinson |
Mind |
1955-01-01 |
| Logic for Mathematicians |
J. Barkley Rosser |
י. ב-ה |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1955-01-00 |
| Introduction to Logic |
Irving M. Copi |
י. ב-ה |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1955-01-00 |
| Truth and consequence in mediaeval logic |
Ernest A. Moody |
S. Körner |
Philosophy |
1955-01-00 |
| 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 |
