A comprehensive index of philosophy book reviews

Reviews matching “The theory of logic”

409 results · page 6 of 9

BookAuthorReviewerJournalDate
Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y S Mazur R L Goodstein The Journal of Symbolic Logic 1975
Set theory. English translation of XL 649(4) by M. Maczynski K. Kuratowski and A. Mostowski H. B. Enderton The Journal of Symbolic Logic 1975
Ordinals and functionals in proof theory Solomon Feferman Georg Kreisel The Journal of Symbolic Logic 1975
Models of ZF-set theory Ulrich Felgner Frank R. Drake The Journal of Symbolic Logic 1975
Paul Bernays. On the original Gentzen consistency proof for number theory. 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 J. van Heijenoort The Journal of Symbolic Logic 1975
Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory E. R. Caianiello Jonathan P. Seldin The Journal of Symbolic Logic 1975
Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1) Nicolas Bourbaki (pseudonym) Perry Smith The Journal of Symbolic Logic 1975
Saturated model theory. Photolithographed from typewritten manuscript Gerald E. Sacks Michael Makkai The Journal of Symbolic Logic 1975
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. 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 James R. Geiser The Journal of Symbolic Logic 1975
Forcing in model theory. Symposia mathematica, vol Abraham Robinson H. Jerome Keisler The Journal of Symbolic Logic 1975
Logic, Methodology and Philosophy of Science III B Van Rootselaar Ekkart Zimmerman Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences 1974-12-01
The theory of logical types Irving M. Copi Francis Jeffry Pelletier The Journal of Symbolic Logic 1974
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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 William Glassmire The Journal of Symbolic Logic 1974
Simplified independence proofs. Boolean valued models of set theory J. Barkley Rosser Aleksander Rutkowski The Journal of Symbolic Logic 1974
Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 Bertrand Russell Alonzo Church The Journal of Symbolic Logic 1974
Proof theory and intuitionistic systems Bruno Scarpellini A. S. Troelstra The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 1974
The Theory of Logical Types. Monographs in Modern Logic Series Irving Copi Michael Dummett New Blackfriars 1973-04-01
Theory of science. Attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors Bernard Bolzano Joseph J. Kockelmans Philosophy of Science 1973-03-01
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 The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 1973
Model theory H. Jerome Keisler C. C. Chang The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 1973
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers H. Jerome Keisler E. G. K. López-Escobar The Journal of Symbolic Logic 1973
Theory construction J. J. C. Smart Alonzo Church The Journal of Symbolic Logic 1973
H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability W. A. J. Luxemburg Jerome Malitz The Journal of Symbolic Logic 1973
Introduction to axiomatic set theory G. Takeuti and W. M. Zaring F. R. Drake The Journal of Symbolic Logic 1973
The Logic of Preferences Georg Henrik Von Wright Sighard Roloff Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences 1972-12-01
The Differentiation Theory of Meaning in Indian Logic Dhirendra Sharma Bimal Krishna Matilal Foundations of Language: International Journal of Language and Philosophy 1972-07-01
The theory ofsets and transfinite numbers B. Rotman and G. T. Kneebone Perry Smith 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
Set Theory and its Logic Willard Van Orman Quine G. T. Kneebone 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
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
The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes David P. Gauthier Harold J. Johnson Ethics 1971-10-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
Prolegomena to A Theory of Language Louis Hjelmslev Paul L. Garvin 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
The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes David P. Gauthier Albert Heinekamp Studia Leibnitiana 1971-01-00
The Theory of Logical Types. (Monographs in Modern Logic) Irving M. Copi א. י. י. פוזננסקי Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי 1971-01-00
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
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
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
Basic measurement theory Patrick Suppes and Joseph L. Zinnes Robert L. Causey 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
Intuitionistic logic model theory and forcing Melvin Chris Fitting F. R. Drake The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 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 The Journal of Symbolic Logic 1971
Abstract set theory Thoralf A. Skolem Perry Smith The Journal of Symbolic Logic 1971
« Prev 6 Next »

Open this search with filters