| Aspects of Modern Logic |
E W Beth |
J Pegueroles |
Pensamiento |
1972-04-01 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
Donald P. Cushman |
Philosophy & Rhetoric |
1972-04-00 |
| Methods of Logic. Third edition |
W. V. Quine |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1972-04-00 |
| Elementary Logic. Second edition |
Benson Mates |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1972-04-00 |
| The Logic of Plurality |
J E J Altham |
Alan B Wolter |
The Review of Metaphysics |
1972-03-01 |
| Traditional Logic and the Venn Diagram |
V Cieutat |
Thomas G Nedzynski |
The Review of Metaphysics |
1972-03-01 |
| Philosophy of logic |
Willard Van Orman Quine |
John Corcoran |
Philosophy of Science |
1972-03-01 |
| Logic and Metaphysics in Aristotle |
Walter Leszl |
Constantine Georgiadis |
Dialogue |
1972-03-01 |
| The Problem of Inductive Logic |
Imre Lakatos |
Alex C. Michalos |
Philosophy of Science |
1972-03-01 |
| Mathematical Logic and Foundations of Set Theory |
Y Bar-Hillel |
F. R. Drake |
Synthese |
1972-03-00 |
| Metalogic: An Introduction to the Metatheory of Standard First Order Logic |
Geoffrey Hunter |
M J Cresswell |
The Philosophical Quarterly |
1972-01-01 |
| La Estructura Logic-Real de la Norma Juridica |
Nicolas Calera |
Ilmar Tammelo |
Archiv für Rechts- und Sozialphilosophie |
1972-01-01 |
| Studies in Inductive Logic and Probability, V1 |
R Carnap |
D Costantini |
Scientia: International Review of Scientific Synthesis |
1972-01-01 |
| The Development of Logic |
William Kneale and Martha Kneale |
John Myhill |
Archiv für Geschichte der Philosophie |
1972-01-01 |
| The Logic of Preference |
Georg Henrik Von Wright |
Leszek Nowak |
Studia Logica |
1972-01-01 |
| Logic for Philosophers |
Richard L. Purtill |
Dennis C. Kane |
The Thomist: A Speculative Quarterly Review |
1972-01-01 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
George J Stack |
Journal of the History of Philosophy |
1972-01-01 |
| History of Mathematical Logic from Leibniz to Peano |
N. I. Styazhkin |
G. H. R. Parkinson |
Studia Leibnitiana |
1972-01-00 |
| Symbolic logic |
John Venn |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| The theory ofsets and transfinite numbers |
B. Rotman and G. T. Kneebone |
Perry Smith |
The Journal of Symbolic Logic |
1972 |
| A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April |
Richard Goodman |
Karel Čulík |
The Journal of Symbolic Logic |
1972 |
| Abstrakte Automaten |
Peter H. Starke |
Arto Salomaa |
The Journal of Symbolic Logic |
1972 |
| Leçons sur la théorie des automates mathématiques |
C. Boucher |
Andrzej Blikle |
The Journal of Symbolic Logic |
1972 |
| Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
G. Kreisel |
The Journal of Symbolic Logic |
1972 |
| Les fonctions combinatoires et les isols |
J. C. E. Dekker |
Alfred B. Manaster |
The Journal of Symbolic Logic |
1972 |
| Memory bounds for recognition of context-free and context-sensitive languages |
P. M. Lewis II, R. E. Stearns, and J. Hartmanis |
Walter J. Savitch |
The Journal of Symbolic Logic |
1972 |
| Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2 |
Franz L. Alt |
S. Huzino |
The Journal of Symbolic Logic |
1972 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1972 |
| Elementary lope |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Logics without existence assumptions |
Rolf Schock |
Theodore Hailperin |
The Journal of Symbolic Logic |
1972 |
| On the work of Alan Baker |
Paul Turán |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Some applications of degrees |
J. R. Shoenheld |
S. K. Thomason |
The Journal of Symbolic Logic |
1972 |
| Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Bruce Lercher |
The Journal of Symbolic Logic |
1972 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| The Language of Time |
Richard M. Gale |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
1972 |
| New foundations of absolute geometry |
Wanda Szmielew |
Thomas Frayne |
The Journal of Symbolic Logic |
1972 |
| C. Goekoop |
|
Sibajiban |
The Journal of Symbolic Logic |
1972 |
| An introduction to modal logic. A second printing, with corrections, of XXXVI 328 |
G. E. Hughes and M. J. Cresswell |
H. B. Enderton |
The Journal of Symbolic Logic |
1972 |
| Foundations of constructive analysis. McGraw-Hill Book Company |
Errett Bishop |
Anders Wedberg |
The Journal of Symbolic Logic |
1972 |
| Aspects of scientific explanation |
Carl G. Hempel |
Asa Kasher |
The Journal of Symbolic Logic |
1972 |
| Axiomatizability of geometry without points. Synthese, vol. 12 nos |
Andrzej Grzegorczyk |
Wolfram Schwabhäuser |
The Journal of Symbolic Logic |
1972 |
| First order mathematical logic |
Angelo Margaris |
A. H. Lightstone |
The Journal of Symbolic Logic |
1972 |
| Diophantine representation of recursively enumerable predicates |
Yu. V. Matijasevič |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| The demarcation between science and metaphysics. A reprint of XXXVI 533. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Karl R. Popper |
Richard C. Jeffrey |
The Journal of Symbolic Logic |
1972 |
| Hierarchies of memory limited computations |
R. E. Stearns, J. Hartmanis, and P. M. LewisII |
Walter J. Savitch |
The Journal of Symbolic Logic |
1972 |
| Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Set Theory and its Logic |
Willard Van Orman Quine |
G. T. Kneebone |
The Journal of Symbolic Logic |
1972 |
| Klassen rekursiver Funktionen |
D. Rödding |
Günter Asser |
The Journal of Symbolic Logic |
1972 |
| Classifications of computations by time and memory requirements |
J. Hartmanis, P. M. Lewis II, and R. E. Stearns |
Jiří Bečvář |
The Journal of Symbolic Logic |
1972 |
