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
Robert M. Solovay On the cardinality of sets of reals Frank R. Drake 1974
The logic of C. I. Lewis. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol William Tuthill Parry M. J. Cresswell 1974
Marshall Swain. Editor's introduction. Induction, acceptance, and rational belief Marshall Swain Ian Hacking 1974
Contributions to non-standard analysis W. A. J. Luxemburg Diana L. Dubrovsky 1974
Concepts, numbers, and quality Nicholas Georgescu-Roegen David Booth 1974
The algebra of the copula Arthur N. Prior Alan Ross Anderson 1974
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages Jon Barwise, Lecture notes in mathematics, no. 72 N. J. Cutland 1974
The language of logic. A programed text Morton L. Schagrin H. B. Enderton 1974
Logic for Philosophers Richard L. Purtill William E Gould 1974
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y Per Martin-Löf Robert A Di Paola 1974
F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl Calvin C. Elgot 1974
Defining Relations and Algorithmic Problems for Groups and Semigroups S I Adjan Ann Yasuhara 1973-06-01
Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie Gert Heinz Müller Dieter Rödding 1973
Non-standard models and independence of the induction axiom Michael O. Rabin C. Smorynski 1973
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics R. E. Vesley 1973
Normative systems Carlos E. Alchourrón and Eugenio Bulygin M. J. Cresswell 1973
John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting, Studies in logic and the foundations of mathematics Martin Davis 1973
Individuals. An essay in descriptive metaphysics P. F. Strawson James Cargile 1973
R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics Carl E. Gordon 1973
Einführung in die mathematische Logik. Klassische Prädikatenlogik Hans Hermes Erwin Engeler 1973
R. Harré. Preface. How I see philosophy, by F. Waismann R. Harré Alonzo Church 1973
Inductive inconsistencies Carl G. Hempel Asa Kasher 1973
A mathematical introduction to logic Herbert B. Enderton J. R. Shoenfield 1973
Model theory H. Jerome Keisler C. C. Chang 1973
The number systems. Foundations of algebra and analysis Solomon Feferman William E. Gould 1973
Introduction to metamathematics. Sixth printing of XIX 215 Stephen Cole Kleene H. B. Enderton 1973
Roger C. Lyndon J. C. Shepherdson 1973
Introduction Robert Wall Joseph S Ullian 1973
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing A. J. H. Morrell Joyce Friedman 1973
David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics Helmut Pfeiffer 1973
Logic, computing machines, and automation Alice Mary Hilton Robert F. Barnes 1973
Elementary logic Benson Mates Alonzo Church 1973
Language strata F. Waismann Alonzo Church 1973
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers H. Jerome Keisler E. G. K. López-Escobar 1973
Theory construction J. J. C. Smart Alonzo Church 1973
Glenn James and Robert C. James, editors Ann S. Ferebee 1973
H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability W. A. J. Luxemburg Jerome Malitz 1973
Wolfgang Stegmüller. Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine. Logik und Logikkalkül Max Käsbauer and Franz von Kutschera Alfons Borgers 1973
Lincos: Design of a language for cosmic intercourse Hans Freudenthal Louis Narens 1973
Temporal modalities in Arabic logic Nicholas Rescher Hans Kamp 1973
Konstruktive Analysis Dieter Klaua Brian H. Mayoh 1973
The logical systems of Lesniewski Eugene C. Luschei John T. Kearns 1973
George Grätzer Kirby A. Baker 1973
A concise introduction to logic Ian Hacking Alfons Borgers 1973
Einführung in die mathematische Logik. Klassische Prädikatenlogik Hans Hermes Erwin Engeler 1973
On constructing models for arithmetic Dana Scott Elliott Mendelson 1973
Sets, relations, and functions James F. Gray Alfons Borgers 1973
Introduction to axiomatic set theory G. Takeuti and W. M. Zaring F. R. Drake 1973
Modelle der Arithmetik R. MacDowell and E. Specker Robert G. Phillips 1973
Introduction to combinatory logic J. R. Hindley, B. Lercher, and J. P. Seldin Henk Barendregt 1973
« Prev 1 2 3 … 15 16 17 18 19 … 36 37 38 Next »