| 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 |
| Linguistics |
David Crystal |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Biographical sketch |
M. E. Szabo |
K. Schütte |
The 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 |
The Journal of Symbolic Logic |
1972 |
| Models and ultraproducts: An introduction |
J L Bell |
Perry Smith |
The 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 |
The Journal of Symbolic Logic |
1972 |
| Metaphysics in logic. A revised reprint of XXXV 455 |
G. J. Warnock |
Anders Wedberg |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1972 |
| Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov |
G E Mints |
J Van Heijenoort |
The Journal of Symbolic Logic |
1971-09-01 |
| The De Grammatico of St. Anselm: The Theory of Paronymy |
Desmond P Henry |
Eugene C Luschei |
The Journal of Symbolic Logic |
1971-09-01 |
| Understanding symbolic logic |
Gerald J Massey |
Lee C Rice |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1971-05-01 |
| The Language of Morals |
R M Hare |
Brian F Chellas |
The Journal of Symbolic Logic |
1971-03-01 |
| Prolegomena to A Theory of Language |
Louis Hjelmslev |
Paul L. Garvin |
The Journal of Symbolic Logic |
1971-03-01 |
| Hierarchies of Predicates of Finite Types |
D A Clarke |
Peter G Hinman |
The Journal of Symbolic Logic |
1971-03-01 |
| Theory of Recursive Functions and Effective Computability |
Hartley Rogers Jr |
C E M Yates |
The Journal of Symbolic Logic |
1971-03-01 |
| Computer-assisted instruction: Stanford's 1965–66 arithmetic program |
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver |
Layman E. Allen |
The Journal of Symbolic Logic |
1971 |
| W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Louis Narens |
The Journal of Symbolic Logic |
1971 |
| Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff |
M. Gross and A. Lentin |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| After thirty years |
A. Heyting |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| A universal Turing machine with two internal states |
Claude E. Shannon |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1971 |
| The Diversity of Meaning |
L. Jonathan Cohen |
Jonathan Bennett |
The Journal of Symbolic Logic |
1971 |
| Gambling with Truth: An Essay on Induction and the Aims of Science |
Isaac Levi |
David Miller |
The Journal of Symbolic Logic |
1971 |
| Terms in their propositional contexts in Wittgenstein's Tractatus. An index |
George Kimball Plochmann and Jack B. Lawson |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. 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 |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| Term logic with choice operator. A revised and enlarged translation of XXXV 440 |
Hans Hermes |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. 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 |
Jacques Sublet |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1971 |
| J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September |
Cicely M. Popplewell |
Richard J. Orgass |
The Journal of Symbolic Logic |
1971 |
| Abstract sets and finite ordinals. An introduction to the study of set theory |
G. B. Keene |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
William Hanf |
The Journal of Symbolic Logic |
1971 |
| Basic measurement theory |
Patrick Suppes and Joseph L. Zinnes |
Robert L. Causey |
The Journal of Symbolic Logic |
1971 |
| Axiomatic method and intuitionism |
A. Heyting |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| Preface |
Jean van Heijenoort |
Paul Bernays |
The Journal of Symbolic Logic |
1971 |
| Fundamentals of mathematics |
Moses Richardson |
William E. Gould |
The Journal of Symbolic Logic |
1971 |
| Peter Freyd. The theories of functors and models. 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 |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| On the use of Hilbert's ε-operator in scientific theories |
Rudolf Carnap |
H. Bohnert |
The Journal of Symbolic Logic |
1971 |
