| Relativitaet und Kosmos |
Hans Juergen Treder |
Anneliese Griese |
Deutsche Zeitschrift für Philosophie |
1972-01-01 |
| Metafisica de Aristoteles |
Valentin Garcia Yebra |
Nemesio Gonzalez-Caminero |
Gregorianum |
1972-01-01 |
| Eames (1969) |
|
Conrad J. Koehler |
Dialectica |
1972-01-01 |
| Tractatus Logico-philosophicus |
An Early Version Of Prototractatus |
Ludwig Wittgenstein |
Philosophical Books |
1972-01-01 |
| Philosophy of Arithmetic: Psychological and Logical Investigations, with Supplementary Texts from 1887-1901 |
DR. E. Husserl |
E. W. Kluge |
Mind |
1972-01-01 |
| Good and Evil: A New Direction |
Richard Taylor |
Judith Jarvis Thompson |
Philosophical Review |
1972-01-00 |
| Hypothèsis et Perception |
Errol E. Harris |
P.e. Pilet |
Dialectica |
1972-01-00 |
| Symbolic logic |
John Venn |
Alonzo Church |
Journal of Symbolic Logic |
1972 |
| The theory ofsets and transfinite numbers |
B. Rotman and G. T. Kneebone |
Perry Smith |
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 |
Journal of Symbolic Logic |
1972 |
| Abstrakte Automaten |
Peter H. Starke |
Arto Salomaa |
Journal of Symbolic Logic |
1972 |
| Leçons sur la théorie des automates mathématiques |
C. Boucher |
Andrzej Blikle |
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 |
Journal of Symbolic Logic |
1972 |
| Les fonctions combinatoires et les isols |
J. C. E. Dekker |
Alfred B. Manaster |
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 |
Journal of Symbolic Logic |
1972 |
| Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2 |
Franz L. Alt |
S. Huzino |
Journal of Symbolic Logic |
1972 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
Ann S. Ferebee |
Journal of Symbolic Logic |
1972 |
| Elementary lope |
Benson Mates |
Alonzo Church |
Journal of Symbolic Logic |
1972 |
| Logics without existence assumptions |
Rolf Schock |
Theodore Hailperin |
Journal of Symbolic Logic |
1972 |
| On the work of Alan Baker |
Paul Turán |
Alonzo Church |
Journal of Symbolic Logic |
1972 |
| Some applications of degrees |
J. R. Shoenheld |
S. K. Thomason |
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 |
Journal of Symbolic Logic |
1972 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
Journal of Symbolic Logic |
1972 |
| The Language of Time |
Richard M. Gale |
Nino B. Cocchiarella |
Journal of Symbolic Logic |
1972 |
| New foundations of absolute geometry |
Wanda Szmielew |
Thomas Frayne |
Journal of Symbolic Logic |
1972 |
| C. Goekoop |
|
Sibajiban |
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 |
Journal of Symbolic Logic |
1972 |
| Foundations of constructive analysis. McGraw-Hill Book Company |
Errett Bishop |
Anders Wedberg |
Journal of Symbolic Logic |
1972 |
| Aspects of scientific explanation |
Carl G. Hempel |
Asa Kasher |
Journal of Symbolic Logic |
1972 |
| Axiomatizability of geometry without points. Synthese, vol. 12 nos |
Andrzej Grzegorczyk |
Wolfram Schwabhäuser |
Journal of Symbolic Logic |
1972 |
| First order mathematical logic |
Angelo Margaris |
A. H. Lightstone |
Journal of Symbolic Logic |
1972 |
| Diophantine representation of recursively enumerable predicates |
Yu. V. Matijasevič |
Alonzo Church |
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 |
Journal of Symbolic Logic |
1972 |
| Hierarchies of memory limited computations |
R. E. Stearns, J. Hartmanis, and P. M. LewisII |
Walter J. Savitch |
Journal of Symbolic Logic |
1972 |
| Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique |
Gr. C. Moisil |
Alonzo Church |
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 |
Journal of Symbolic Logic |
1972 |
| Set theory and its logic |
Willard Van Orman Quine |
G. T. Kneebone |
Journal of Symbolic Logic |
1972 |
| Klassen rekursiver Funktionen |
D. Rödding |
Günter Asser |
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ář |
Journal of Symbolic Logic |
1972 |
| Linguistics |
David Crystal |
Alonzo Church |
Journal of Symbolic Logic |
1972 |
| Biographical sketch |
M. E. Szabo |
K. Schütte |
Journal of Symbolic Logic |
1972 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
James E. Baumgartner |
Journal of Symbolic Logic |
1972 |
| Models and ultraproducts: An introduction |
J L Bell |
Perry Smith |
Journal of Symbolic Logic |
1972 |
| Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor |
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal |
Ann S. Ferebee |
Journal of Symbolic Logic |
1972 |
| Metaphysics in logic. A revised reprint of XXXV 455 |
G. J. Warnock |
Anders Wedberg |
Journal of Symbolic Logic |
1972 |
| Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
Mihály Makkai |
Journal of Symbolic Logic |
1972 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Gerald E. Sacks |
Journal of Symbolic Logic |
1972 |
| Chance and Necessity |
Jacques Monod |
Stephen Toulmin |
New York Review of Books |
1971-12-16 |
| Die Methode der Cusanischen Philosophie |
K Jacobi |
Robert Sokolowski |
Review of Metaphysics |
1971-12-01 |
| Berkeley's Analysis of Perception |
George J Stack |
Antonio S Cua |
Review of Metaphysics |
1971-12-01 |
