| Rekursive Funktionen |
Rózsa Péter |
Raphael M. Robinson |
1958 |
| La logique de l'assertion pure |
Jean de la Harpe |
Robert Feys |
1958 |
| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus |
R. L. Goodstein |
Th. Skolem |
1958 |
| Zarys logiki dla prawników (An outline of logic for lawyers). Państwowe Wydawnictwo Naukowe, Łódź-Warszawa1955, 136 pp. - Władisław Wolter. Elementy logiki. Wykład dla prawników. (Elements of logic. A course for lawyers). Second edition. Mimeographed. Państwowe Wydawnictwo Naukowe, Kraków |
Jan Gregorowicz |
Zdzisław Kraszewski |
1958 |
| James T. Culbertson |
|
E. J. McCluskey |
1958 |
| Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
E. W. Beth |
Th. Skolem |
1958 |
| Relaisschalttechnik für Stark- und Schwachstromanlagen. Translated by Kirill Keller |
M. A. Gawrilow |
E. F. Moore |
1958 |
| La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript |
E. W. Beth |
G. Kreisel |
1958 |
| Logic workbook |
James Wilkinson Miller |
Charles A. Baylis |
1958 |
| Introduction to mathematical logic. Volume I. Second printing |
Alonzo Church |
S. C. Kleene |
1958 |
| Hypothèse du continu |
Wacław Sierpiński |
Alonzo Church |
1958 |
| Initiation à la logique. Collection de logique mathématique, ser |
Le R. P. Dubarle |
John van Heijenoort |
1958 |
| Development and applications of the “projective” classification of sets of integers |
Andrzej Mostowski |
G. Hasenjaeger |
1958 |
| Principles of right reason |
Henry S. Leonard |
James Wilkinson Miller |
1958 |
| Die typenfreie Logik und die Modalität |
Heinrich Behmann |
Ronald Harrop |
1957 |
| Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript |
James Wilkinson Miller |
Charles A. Baylis |
1957 |
| Die Fiktion der Überabzählbarkeit |
Paul Lorenzen |
Gert H. Müller |
1957 |
| 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 |
1957 |
| Scientific explanation. A study of the function of theory, probability and law in science |
Richard Bevan Braithwaite |
J. H. Woodger |
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 |
1957 |
| “Counterfactual conditionals” and singular causal statements |
G. Nuchelmans |
John Watling |
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 |
1957 |
| Contradiction, the logical counterpart to conflict |
Robert McNaughton |
Charles A. Baylis |
1957 |
| Propositions and sentences |
Alonzo Church |
Carl G. Hempel |
1957 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
1957 |
| La structure algébrique des théories matérmatiques |
L. Henkin |
Paul R. Halmos |
1957 |
| Max Black |
|
Atwell R. Turquette |
1957 |
| Logique combinatoire et λ-conversion |
J. Barkley Rosser |
Frederic B. Fitch |
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 |
1957 |
| Ontology and the choice of languages |
L. O. Kattsoff |
Noam Chomsky |
1957 |
| The analytic and the synthetic as categories of inquiry |
Robert S. Hartman |
Charles A. Baylis |
1957 |
| Emotive propositions. A study of value |
Sören Halldén |
David Meredith |
1957 |
| Mathematische Existenz und Widerspruchsfreiheit |
Paul Bernays |
John van Heijenoort |
1957 |
| Einführung in die operative Logik und Mathematik |
Paul Lorenzen |
Th. Skolem |
1957 |
| E. W. Beth |
|
Alfons Borgers |
1957 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
1957 |
| Die “identischen Urteile” der Syllogistik |
Klaus Härtig |
Ivo Thomas |
1957 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
1957 |
| The logic of program composition |
H. B. Curry |
George W. Patterson |
1957 |
| Solvable cases of the decision problem |
W. Ackermann |
Paul Bernays |
1957 |
| “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)) |
Makoto Itoh |
Katuzi Ono |
1957 |
| Quelques applications de la théorie des relations binaires |
J. Riguet |
Roland Fraïssé |
1957 |
| Patrick Suppes |
|
J. Dopp |
1957 |
| Peano's axioms and models of arithmetic |
Th. Skolem |
Solomon Feferman |
1957 |
| The pictorial principle in language |
Margaret Masterman Braithwaite |
R. N. Smart |
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 |
1957 |
| Anschauung als Erkenntnisquelle. A reprint of XIII 154(2) |
Kurt Reidemeister |
Julius Kraft |
1957 |
| The relative strength of Zermelo's set theory and Quine's New Foundations |
J. Barkley Rosser |
Václav E. Beneš |
1957 |
| Über die neue Grundlagenkrise der Mathematik. A reprint of 1924 |
Hermann Weyl |
P. C. Gilmore |
1957 |
| Madkhalé manteghé sooraat (Introduction to formal logic) |
Gholam-Hossein Mosaheb |
L. A. Zadeh |
1957 |
