| Aristotle's syllogistic from the standpoint of modern formal logic |
Lynn E Rose |
Ivan Boh |
The Journal of Symbolic Logic |
1962 |
| Perceiving: A Philosophical Study |
Roderick M. Chisholm |
Charles A. Baylis |
The Journal of Symbolic Logic |
1962 |
| Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby) |
A. A. Markov |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959) |
Alfred Tarski |
John van Heijenoort |
The Journal of Symbolic Logic |
1962 |
| Completeness results for formal systems |
E. W. Beth |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Induction and hypothesis, A study of the logic of confirmation |
S. F. Barker |
Lars Svenonius |
The Journal of Symbolic Logic |
1962 |
| The Development of Logic |
William Kneale and Martha Kneale |
Benson Mates |
The Journal of Symbolic Logic |
1962 |
| Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé |
H. Arnold Schmidt |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1962 |
| Symbolic representations of calculating machines |
Hao Wang |
C. C. Elgot |
The Journal of Symbolic Logic |
1962 |
| The grammar of English nominalizations |
Robert B. Lees |
Joachim Lambek |
The Journal of Symbolic Logic |
1962 |
| John L. Kelley |
|
Francis P. Larkin |
The Journal of Symbolic Logic |
1962 |
| Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam |
A. Heyting. Studies in logic and the foundations of mathematics |
Carol R. Karp |
The Journal of Symbolic Logic |
1962 |
| Statistical estimation of provability in Boolean logic |
Antoniń Špaček |
A. A. Mullin |
The Journal of Symbolic Logic |
1962 |
| The basic concepts of algebraic logic |
Paul R. Halmos |
Aubert Daigneault |
The Journal of Symbolic Logic |
1962 |
| M.I.T |
C Goekoop |
Sibajiban |
The Journal of Symbolic Logic |
1962 |
| Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre |
Paul Bernays |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1962 |
| Some metamathematical problems concerning elementary hyperbolic geometry |
Wanda Szmielew |
Thomas Frayne |
The Journal of Symbolic Logic |
1962 |
| Boolean algebra and its applications |
J. Eldon Whitesitt |
Thomas H. Mott |
The Journal of Symbolic Logic |
1962 |
| Formulario mathematico. Riproduzione in fac-simile dell'edizione originale |
Giuseppe Peano |
Alonzo Church |
The Journal of Symbolic Logic |
1962 |
| An Introduction to the Logic of the Sciences |
R. Harré |
P. K. Feyerabend |
The British Journal for the Philosophy of Science |
1961-11-01 |
| A precis of mathematical logic |
J. M. Bochenski |
Leo Simons |
Philosophy of Science |
1961-10-01 |
| An introduction to modern logic |
William Halberstadt |
Henry W. Johnstone |
Philosophy of Science |
1961-10-01 |
| The logic of scientific discovery |
Karl Popper |
Haskell Fain |
Philosophy of Science |
1961-07-01 |
| The Logic of Social Enquiry |
Quentin Gibson |
I. C. Jarvie |
The British Journal for the Philosophy of Science |
1961-05-01 |
| The Principles of Science. A Treatise on Logic and Scientific Method |
W. Stanley Jevons |
William Kneale |
The British Journal for the Philosophy of Science |
1960-11-01 |
| On the Logic of "Better". Sören Halldén. (Library of Theoria, No. 2.) (C |
Sören Halldén |
A. N. Prior |
Philosophy |
1960-10-01 |
| Readings in logic |
Roland Houde |
Clyde Laurence Hardin |
Philosophy of Science |
1960-04-01 |
| Logic Without Metaphysics |
Ernest Nagel |
D. W. Hamlyn |
Philosophy |
1960-01-00 |
| Formale Logik |
I. M. Bocheński |
Benson Mates |
The Journal of Symbolic Logic |
1960 |
| Beweistheorie |
Kurt Schütte |
Georg Kreisel |
The Journal of Symbolic Logic |
1960 |
| Hebrew translation of XII 61(1) by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski |
Alfred Tarski |
Azriel Lévy |
The Journal of Symbolic Logic |
1960 |
| A three-valued logic with meaning-operator |
Takeo Sugihara |
Gene F. Rose |
The Journal of Symbolic Logic |
1960 |
| Operational research and cybernetics |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe |
János Surányi |
Joseph S. Wholey |
The Journal of Symbolic Logic |
1960 |
| Épistemologie et mécanisation du diagnostic et de la thérapeutique, La logique ternaire |
François Paycha |
Clifford Spector |
The Journal of Symbolic Logic |
1960 |
| A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam |
Karel Louis de Bouvère |
Gert H. Müller |
The Journal of Symbolic Logic |
1960 |
| The reach of science |
Henryk Mehlberg |
Edward Poznański |
The Journal of Symbolic Logic |
1960 |
| Cybernetics and management |
Stafford Beer |
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Une simplification de la théorie de Turing |
Jean Porte |
Clifford Spector |
The Journal of Symbolic Logic |
1960 |
| Robert R. Stoll |
|
Alfons Borgers |
The Journal of Symbolic Logic |
1960 |
| Complete theories |
Abraham Robinson |
Robert L. Vaught |
The Journal of Symbolic Logic |
1960 |
| Ordered structures and related concepts |
Abraham Robinson |
W. Peremans |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1960 |
| Thinking things through. An introduction to logic |
Maylon H. Hepp |
Charles A. Baylis |
The Journal of Symbolic Logic |
1960 |
| Les catégories de la modalité |
André Darbon |
Robert Feys |
The Journal of Symbolic Logic |
1960 |
| J. M. Bochenski |
|
Norman M. Martin |
The Journal of Symbolic Logic |
1960 |
| Ordinal algebras |
Alfred Tarski |
Hugo Ribeiro |
The Journal of Symbolic Logic |
1960 |
| Gedenken an Heinrich Scholz |
H. Seifert |
Jean Ladrière |
The Journal of Symbolic Logic |
1960 |
| The Pragmatic Humanism of F. C. S. Schiller |
Reuben Abel |
Charles A. Baylis |
The Journal of Symbolic Logic |
1960 |
| F. H. Bradley |
R. A. Wollheim |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1960 |
