A comprehensive index of philosophy book reviews

The Journal of Symbolic Logic

1,870 reviews · 1936–1999

Search reviews from Journal of Symbolic Logic

Book Title Author Reviewer Date
Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff M. Gross and A. Lentin Ann S. Ferebee 1971
After thirty years A. Heyting O. Chateaubriand 1971
A universal Turing machine with two internal states Claude E. Shannon Patrick C. Fischer 1971
The diversity of meaning L. Jonathan Cohen Jonathan Bennett 1971
Gambling with truth. An essay on induction and the aims of science Isaac Levi David Miller 1971
Terms in their propositional contexts in Wittgenstein's Tractatus. An index George Kimball Plochmann and Jack B. Lawson Alonzo Church 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 1971
Term logic with choice operator. A revised and enlarged translation of XXXV 440 Hans Hermes Perry Smith 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 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 1962 Cicely M. Popplewell Richard J. Orgass 1971
Abstract sets and finite ordinals. An introduction to the study of set theory G. B. Keene Ann S. Ferebee 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 1971
Basic measurement theory Patrick Suppes and Joseph L. Zinnes Robert L. Causey 1971
Axiomatic method and intuitionism A. Heyting D. van Dalen 1971
Preface Jean van Heijenoort Paul Bernays 1971
Fundamentals of mathematics Moses Richardson William E. Gould 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 1971
On the use of Hilbert's ε-operator in scientific theories Rudolf Carnap H. Bohnert 1971
The problem of induction and its solution Jerrold J. Katz Alonzo Church 1971
Intuitionistic logic model theory and forcing Melvin Chris Fitting F. R. Drake 1971
First-order functional calculus G. B. Keene William E. Gould 1971
The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George Rudolf Carnap Anders Wedberg 1971
The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol Frank B. Cannonito Perry Smith 1971
Juristische Logik Ulrich Klug Gert H. Müller 1971
Logic and algorithms with applications to the computer and information sciences Robert R. Korfhage Jiří Bečvář 1971
Automation cybernetics and society F. H. George H. B. Enderton 1971
L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics Wolfgang Rautenberg 1971
R. M. Hare Brian F. Chellas 1971
Ten ontological or modal proofs for God's existence Charles Hartshorne Perry Smith 1971
A Boolean algebra abstract and concrete A. P. Bowran Ann S. Ferebee 1971
Alexander Abian B. Rotman 1971
Vollständige Systeme modaler und intuitionistischer Logik Kurt Schütte R. E. Vesley 1971
On completeness and decidability of some non-definable notions of elementary hyperbolic geometry Wolfram Schwabhäuser Lesław W. Szczerba 1971
A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957 A. Heyting, Studies in logic and the foundations of mathematics O. Chateaubriand 1971
An introduction to modal logic G. E. Hughes and M. J. Cresswell R. A. Bull 1971
Einführung in die Verbandstheorie Hans Hermes Pascual Jordan 1971
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966 H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics Ralph Seifert 1971
Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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 Perry Smith 1971
Understanding symbolic logic Gerald J. Massey Gordon Matthews 1971
R. J. Nelson Robert McNaughton 1971
Gödel's intepretation of Heyting's arithmetic G. Kreisel D. van Dalen 1971
Symbolic logic. An introduction Richmond H. Thomason Hans Hermes 1971
Post canonical language W. L. Duda W. E. Singletary 1971
Les logiques à plusieurs valeurs et l'automatique Gr. C. Moisil Alonzo Church 1971
Lógica elementar. I.T.A. Departamento de Humanidades, São Paulo Leônidas Hegenberg Florencio G. Asenjo 1971
Intellectual autobiography. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol Rudolf Carnap Maria Kokoszynska 1971
Carol R. Karp. Finite-quantifier equivalence. 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 H. Jerome Keisler 1971
Wolfram Schwabhäuser. On models of elementary elliptic geometry. 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 L. W. Szczerba 1971
Omkring sprogteoriens grundlæggelse Louis Hjelmslev Bengt-Olof Qvarnström 1971
Abstract set theory Thoralf A. Skolem Perry Smith 1971
« Prev 1 2 3 … 17 18 19 20 21 … 36 37 38 Next »