| Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits) |
Toshihiko Kurihara |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Scientific explanation. A study of the function of theory, probability and law in science |
Richard Bevan Braithwaite |
J. H. Woodger |
Journal of Symbolic Logic |
1957 |
| Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator |
Gerhard Gentzen |
John van Heijenoort |
Journal of Symbolic Logic |
1957 |
| “Counterfactual conditionals” and singular causal statements |
G. Nuchelmans |
John Watling |
Journal of Symbolic Logic |
1957 |
| Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Contradiction, the logical counterpart to conflict |
Robert McNaughton |
Charles A. Baylis |
Journal of Symbolic Logic |
1957 |
| Propositions and sentences |
Alonzo Church |
Carl G. Hempel |
Journal of Symbolic Logic |
1957 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
Journal of Symbolic Logic |
1957 |
| La structure algébrique des théories matérmatiques |
L. Henkin |
Paul R. Halmos |
Journal of Symbolic Logic |
1957 |
| Max Black |
|
Atwell R. Turquette |
Journal of Symbolic Logic |
1957 |
| Logique combinatoire et λ-conversion |
J. Barkley Rosser |
Frederic B. Fitch |
Journal of Symbolic Logic |
1957 |
| Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Ontology and the choice of languages |
L. O. Kattsoff |
Noam Chomsky |
Journal of Symbolic Logic |
1957 |
| The analytic and the synthetic as categories of inquiry |
Robert S. Hartman |
Charles A. Baylis |
Journal of Symbolic Logic |
1957 |
| Emotive propositions. A study of value |
Sören Halldén |
David Meredith |
Journal of Symbolic Logic |
1957 |
| Mathematische Existenz und Widerspruchsfreiheit |
Paul Bernays |
John van Heijenoort |
Journal of Symbolic Logic |
1957 |
| Einführung in die operative Logik und Mathematik |
Paul Lorenzen |
Th. Skolem |
Journal of Symbolic Logic |
1957 |
| E. W. Beth |
|
Alfons Borgers |
Journal of Symbolic Logic |
1957 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
Journal of Symbolic Logic |
1957 |
| Die “identischen Urteile” der Syllogistik |
Klaus Härtig |
Ivo Thomas |
Journal of Symbolic Logic |
1957 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
Journal of Symbolic Logic |
1957 |
| The logic of program composition |
H. B. Curry |
George W. Patterson |
Journal of Symbolic Logic |
1957 |
| Solvable cases of the decision problem |
W. Ackermann |
Paul Bernays |
Journal of Symbolic Logic |
1957 |
| “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Quelques applications de la théorie des relations binaires |
J. Riguet |
Roland Fraïssé |
Journal of Symbolic Logic |
1957 |
| Patrick Suppes |
|
J. Dopp |
Journal of Symbolic Logic |
1957 |
| Peano's axioms and models of arithmetic |
Th. Skolem |
Solomon Feferman |
Journal of Symbolic Logic |
1957 |
| The pictorial principle in language |
Margaret Masterman Braithwaite |
R. N. Smart |
Journal of Symbolic Logic |
1957 |
| Tagen Boole (nitironri) hôteisiki no ippankai ni tuite (On the general solution of the Boolean (two-valued logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
Journal of Symbolic Logic |
1957 |
| Anschauung als Erkenntnisquelle. A reprint of XIII 154(2) |
Kurt Reidemeister |
Julius Kraft |
Journal of Symbolic Logic |
1957 |
| The relative strength of Zermelo's set theory and Quine's New Foundations |
J. Barkley Rosser |
Václav E. Beneš |
Journal of Symbolic Logic |
1957 |
| Über die neue Grundlagenkrise der Mathematik. A reprint of 1924 |
Hermann Weyl |
P. C. Gilmore |
Journal of Symbolic Logic |
1957 |
| Madkhalé manteghé sooraat (Introduction to formal logic) |
Gholam-Hossein Mosaheb |
L. A. Zadeh |
Journal of Symbolic Logic |
1957 |
| On uniquely solvable Boolean equations |
W. L. Parker and B. A. Bernstein |
William Wernick |
Journal of Symbolic Logic |
1957 |
| The Structure of Metaphysics Morris Lazerowitz John Wisdom |
Morris Lazerowitz |
R. N. Wisan |
Journal of Philosophy |
1956-10-01 |
| An Introduction to Organic Philosophy: An Essay on the Reconciliation of the Masculine and the Feminine Principles |
Lawrence Hyde |
W. Mays |
Philosophy |
1956-10-01 |
| Formal Logic |
A. N. Prior |
Ivo Thomas |
Philosophy |
1956-10-00 |
| The Metaphysics of Logical Positivism |
Gustav Bergmann |
Karl Britton |
Philosophy |
1956-07-01 |
| Fact, Fiction and Forecast |
Nelson Goodman |
Margaret Macdonald |
Philosophy |
1956-07-01 |
| Philosophische Anthropologie; Menschliche Selbstdeutung in Geschichte und Gegenwart Michael Landmann |
|
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Nature, Mind and Death C. J. Ducasse |
S. H. B. |
ש. ה. ב. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Natur und Person; Umriss einer Anthropognomik August Vetter |
R. Pokorny |
רפאל פוקורני |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Living and Knowing E. W. F. Tomlin |
G. Weiler |
ג. ויילר |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Kleinere Schriften; Band I: Abhandlungen zur systematischen Philosophie Nicolai Hartmann |
|
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Grundriss der methodischen Philosophie; Die Lösungen der philosophischen Hauptprobleme Hugo Dingler |
S. H. B. |
ש. ה. ב. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Dialectical Materialism and Scientific Method, The Committee on Science and Freedom Sidney Hook |
J. Grünfeld |
יוסף גרינפלד |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-07-00 |
| Answer to Job |
C. G. Jung |
E. S. Waterhouse |
Philosophy |
1956-07-00 |
| ONTOLOGIE Aus Philosophia Lovaniensis, Band IV F. van STEENBERGEN Alois Guggenberger P. M. Rœsle |
F. Van Steenbergen |
F. Kröner |
Dialectica |
1956-06-01 |
| The Human Career, A Philosophy of Self-Transcendence R. Ulich |
D. Adar |
צ. אדר |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-04-00 |
| Ideas, A Volume of Ideas: Living, Dying, Dead and Fossils Which We Are Moved by Or Were Moved by N. R. |
N. R. |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1956-04-00 |