| Truth ઈ denotation. A study in semantical theory |
R. M. Martin |
Richard Montague |
1959 |
| Jacques Riguet. Le calcul des relations en tant qu'outil méthodologique. La méthode dans les sciences modernes |
François LeLionnais, Travail et méthodes. Revue technique mensuelle de la direction et de l'organisation des entreprises. Numéro hors série |
Gene F. Rose |
1959 |
| La logique moderne |
Jean Chauvineau |
F. H. Fischer |
1959 |
| Axiomatic set theory |
Paul Bernays |
Elliott Mendelson |
1959 |
| Self-referential relations |
Frederic B. Fitch |
A. N. Prior |
1959 |
| Methods of logic |
Willard Van Orman Quine |
Raymond M. Smullyan |
1959 |
| On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), |
G. Kreisel |
William Craig |
1959 |
| La méthode formelle en mathématique |
Jean Porte |
Steven Orey |
1959 |
| On definability and derivability |
G. Hasenjaeger |
Thomas Frayne |
1959 |
| Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings |
Max H. Fisch and Daniel C. Haskell |
Rulon Wells |
1959 |
| Ippan isô-Boole-soku ni tuite (On the general topological Boolean lattice) |
Makoto Itoh |
Katuzi Ono |
1959 |
| Translator's introduction |
Francis C. Wade |
Alonzo Church |
1959 |
| Les idées actuelles sur la structure des mathématiques |
Daniel Lacombe |
J. Barkley Rosser |
1959 |
| Walter A. Coole |
|
A. F. Bausch |
1959 |
| Sur la théorie algébrique des mécanismes automatiques: Synthèse des schemas à relais polarisés |
G. C. Moisil |
Calvin C. Elgot |
1959 |
| A first course in modern logic |
Edith Watson Schipper and Edward Schuh |
Hugues Leblanc |
1959 |
| Semantiske problemer i logik og lingvistik (Semantic problems in logic and linguistics). Nordisk Sommeruniversitet 1953. Vetenskapens funktion i samhället. (Moderne Videnskab. Orientering og debat |
Paul Diderichsen |
Anders Wedberg |
1959 |
| Gödei's proof |
Ernest Nagel and James R. Newman |
Th. Skolem |
1959 |
| Tagen-Boole-hôteisiki to kakutyô sareta Poretsky no kôsiki ni tutte (On the Boolean equation with many variables and the extended Poretsky formula) |
Makoto Itoh |
Katuzi Ono |
1959 |
| Max H. Fisch and Jackson I. Cope |
|
Rulon Wells |
1959 |
| Peirce's contribution to the logic of statements and quantifiers |
George D. W. Berry |
Rulon Wells |
1959 |
| Juristische Logik |
Ulrich Klug |
Gert Heinz Müller |
1959 |
| Sur l'algèbre des prédicats |
L. Nolin |
Leon Henkin |
1959 |
| Sequential switch kairo no kihon hôteisiki (Fundamental equation for sequential switching circuits) |
Makoto Itoh |
Katuzi Ono |
1959 |
| Joseph Gerard Brennan |
|
Frederic B. Fitch |
1959 |
| Induktive Logik und Wahrscheinlichkeit. Translated by Wolfgang Stegmüller |
Rudolf Carnap |
Carl G. Hempel |
1959 |
| On mathematics and mathematicians |
Robert Edouard Moritz |
Alonzo Church |
1959 |
| Introduction à la logique contemporaine |
Robert Blanché |
John van Heijenoort |
1959 |
| Transfinite Zahlen |
Heinz Bachmann |
J. W. Addison |
1959 |
| Fundamentals of concept formation in empirical science |
Carl G. Hempel |
Edward Poznański |
1958 |
| Graphico-mechanical aids for the synthesis of relay circuits |
Antonin Svoboda |
Robert McNaughton |
1958 |
| Les idées actuelles sur la structure de la pensée logique |
Roger Martin |
John van Heijenoort |
1958 |
| Gedanken-experiments on sequential machines |
Edward F. Moore |
Alonzo Church |
1958 |
| Provability in logic |
Stig Kanger |
F. H. Fischer |
1958 |
| Preface |
John McCarthy and Claude Shannon |
W. L. Duda |
1958 |
| The theory of proper names. A controversial essay |
Alan H. Gardiner |
Charles A. Baylis |
1958 |
| Logic and scientific methods. An introductory course |
Herbert L. Searles |
Alonzo Church |
1958 |
| Introduction to symbolic logic |
A. H. Basson and D. J. O'Connor |
Alonzo Church |
1958 |
| Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset |
A. Heyting |
Robert Feys |
1958 |
| L'application de la logique formelle aux mathématiques. 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 |
Abraham Robinson |
Robert L. Vaught |
1958 |
| Sur la structure concernant la logique moderne |
Kazuo Matsumoto |
Frederic B. Fitch |
1958 |
| A note on modal systems (II) |
Naoto Yonemitsu |
Alan Ross Anderson |
1958 |
| How I see philosophy |
F. Waismann |
Gert H. Müller |
1958 |
| The province of logic. Mind, n.s. vol. 66 (1957), p. 258. Corrections to the preceding |
William Kneale |
Maurice L'Abbé |
1958 |
| Switching circuits and logical design |
Samuel H. Caldwell |
Edward F. Moore |
1958 |
| The rational and the empirical |
Richard I. Aaron |
Gert H. Müller |
1958 |
| Montgomery PhisterJr., Logical design of digital computers |
|
Edward F. Moore |
1958 |
| Effective computability of winning strategies |
Michael O. Rabin |
Patrick Suppes |
1958 |
| Logique et intuitionnisme. 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 |
A. Heyting |
Leon Henkin |
1958 |
| L'axiomatique |
Robert Blanché |
Th. Skolem |
1958 |
