| Statistical estimation of provability in Boolean logic |
Antoniń Špaček |
A. A. Mullin |
1962 |
| The basic concepts of algebraic logic |
Paul R. Halmos |
Aubert Daigneault |
1962 |
| M.I.T |
C Goekoop |
Sibajiban |
1962 |
| Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre |
Paul Bernays |
J. C. Shepherdson |
1962 |
| Some metamathematical problems concerning elementary hyperbolic geometry |
Wanda Szmielew |
Thomas Frayne |
1962 |
| Boolean algebra and its applications |
J. Eldon Whitesitt |
Thomas H. Mott |
1962 |
| Formulario mathematico. Riproduzione in fac-simile dell'edizione originale |
Giuseppe Peano |
Alonzo Church |
1962 |
| Formale Logik |
I. M. Bocheński |
Benson Mates |
1960 |
| Beweistheorie |
Kurt Schütte |
Georg Kreisel |
1960 |
| Hebrew translation of XII 61(1) by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski |
Alfred Tarski |
Azriel Lévy |
1960 |
| A three-valued logic with meaning-operator |
Takeo Sugihara |
Gene F. Rose |
1960 |
| Operational research and cybernetics |
Stafford Beer |
Norman M. Martin |
1960 |
| Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe |
János Surányi |
Joseph S. Wholey |
1960 |
| Épistemologie et mécanisation du diagnostic et de la thérapeutique, La logique ternaire |
François Paycha |
Clifford Spector |
1960 |
| A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959 |
Karel Louis de Bouvère |
Gert H. Müller |
1960 |
| The reach of science |
Henryk Mehlberg |
Edward Poznański |
1960 |
| Cybernetics and management |
Stafford Beer |
Norman M. Martin |
1960 |
| Une simplification de la théorie de Turing |
Jean Porte |
Clifford Spector |
1960 |
| Robert R. Stoll |
|
Alfons Borgers |
1960 |
| Complete theories |
Abraham Robinson |
Robert L. Vaught |
1960 |
| Ordered structures and related concepts |
Abraham Robinson |
W. Peremans |
1960 |
| Introduction. The revolution in philosophy, by A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, R. A. Wollheim |
Gilbert Ryle |
José Ferrater Mora |
1960 |
| Thinking things through. An introduction to logic |
Maylon H. Hepp |
Charles A. Baylis |
1960 |
| Les catégories de la modalité |
André Darbon |
Robert Feys |
1960 |
| J. M. Bochenski |
|
Norman M. Martin |
1960 |
| Ordinal algebras |
Alfred Tarski |
Hugo Ribeiro |
1960 |
| Gedenken an Heinrich Scholz |
H. Seifert |
Jean Ladrière |
1960 |
| The pragmatic humanism of F. C. S. Schiller |
Reuben Abel |
Charles A. Baylis |
1960 |
| F. H. Bradley |
R. A. Wollheim |
Alan Ross Anderson |
1960 |
| Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol |
D. Hilbert and W. Ackermann |
F. H. Fischer |
1960 |
| Les fondements logiques des mathématiques. Deuxième édition revue et augmentée |
E. W. Beth |
Abraham Robinson |
1960 |
| Une machine pour l'algèbre des contacts |
Heinz Zemanek |
Clifford Spector |
1960 |
| Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques |
Jean Ladrière |
Donald Monk |
1960 |
| The moral philosophy of Richard Price |
Lennart Åqvist |
M. J. Cresswell |
1960 |
| Joseph Gerard Brennan |
|
F. B. Fitch |
1960 |
| Completeness proofs for the intuitionistic sentential calculus |
Dana Scott |
Gene F. Rose |
1960 |
| Introductory formal logic of mathematics |
P. H. Nidditch |
Gert Heinz Müller |
1960 |
| Time and modality |
A. N. Prior |
S. Kanger |
1960 |
| On human communication: A review, a survey, and a criticism. Studies in communication |
Colin Cherry |
Donald J. Hillman |
1960 |
| Einführung in die mathematische Logik. Teil I. Aussagenkalkül |
G. Asser |
H. Hermes |
1960 |
| A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956), |
R. H. Urbano and R. K. Mueller |
Thomas H. Mott |
1960 |
| Logic and psychology |
Jean Piaget |
Carl G. Hempel |
1960 |
| Fact, fiction, & forecast |
Nelson Goodman |
R. M. Martin |
1960 |
| Psychology of judgment and choice: A theoretical essay |
Frank Restle |
Alonzo Church |
1960 |
| Communication, organization and science. With a foreword by C. A. Muses |
Jerome Rothstein |
Leon Henkin |
1960 |
| Preface |
Alfred Tarski |
Martin Davis |
1959 |
| Charles Sanders Peirce: 1839–1914 |
Frederic Harold Young |
Rulon Wells |
1959 |
| Quelques observations sur I'usage des méthodes non finitistes dans la méta-mathématiques |
Andrzej Mostowski |
Leon Henkin |
1959 |
| Preface |
A. E. Heath |
Michael Dummett |
1959 |
| Logique mathématique appliquée |
H. Freudenthal |
James G. Renno |
1959 |
