A comprehensive index of philosophy book reviews

Reviews matching “Foundations of logic and mathematics”

103 results · page 2 of 3

BookAuthorReviewerJournalDate
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
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
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
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
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 The Journal of Symbolic Logic 1971
A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting, Studies in logic and the foundations of mathematics O. Chateaubriand The Journal of Symbolic Logic 1971
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics Ralph Seifert 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
Contemporary Philosophy. A Survey. I: Logic and Foundations of Mathematics. II: Philosophy of Science. (International Institute of Philosophy) Raymond Klibansky א. י. י. פוזננסקי Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי 1970-07-00
Contemporary Philosophy (La Philosophie Contemporaine). Volume I, Logic and Foundations of Mathematics R. Klibansky R. H. K. The Review of Metaphysics 1970-03-00
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics F. R. Drake The Journal of Symbolic Logic 1970
Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley, Studies in logic and the foundations of mathematics Leslie H. Tharp The Journal of Symbolic Logic 1970
Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. 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 David Makinson The Journal of Symbolic Logic 1970
Jaakko Hintikka. Towards a theory of inductive generalization. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics Ian Hacking The Journal of Symbolic Logic 1970
Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics G. Kreisel The Journal of Symbolic Logic 1970
C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley, Studies in logic and the foundations of mathematics S. K. Thomason The Journal of Symbolic Logic 1970
Jaakko Hintikka. A two-dimensional continuum of inductive methods. Aspects of inductive logic Jaakko Hintikka and Patrick Suppes, Studies in logic and foundations of mathematics Ian Hacking The Journal of Symbolic Logic 1970
Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”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 A. B. Slomson The Journal of Symbolic Logic 1970
Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics Stephen A. Cook The Journal of Symbolic Logic 1970
H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics James R. Geiser The Journal of Symbolic Logic 1970
J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley, Studies in logic and the foundations of mathematics W. A. Howard The Journal of Symbolic Logic 1970
Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. 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 David Makinson The Journal of Symbolic Logic 1970
Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics Lesław W. Szczerba The Journal of Symbolic Logic 1970
Andrzej Mostowski. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting, Studies in logic and the foundations of mathematics George S. Boolos The Journal of Symbolic Logic 1970
R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley, Studies in logic and the foundations of mathematics Frank R. Drake The Journal of Symbolic Logic 1970
J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley, Studies in logic and the foundations of mathematics C. E. Bredlau The Journal of Symbolic Logic 1969-11-17
Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics Raymond Klibansky Alex C. Michalos Dialogue 1969-09-01
W. Hanf. Model-theoretic methods in the study of elementary logic. 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 Verena H. Dyson The Journal of Symbolic Logic 1969-05-29
H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting, Studies in logic and the foundations of mathematics David Nelson The Journal of Symbolic Logic 1969-05-29
Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960 A. Heyting, Studies in logic and the foundations of mathematics Yiannis N. Moschovakis The Journal of Symbolic Logic 1968-10-10
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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 G. Fuhrken The Journal of Symbolic Logic 1968-10-10
Michael Morley. Omitting classes of elements. 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 E. G. K. Lopez-Escobar The Journal of Symbolic Logic 1968-07-23
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics Martin Davis The Journal of Symbolic Logic 1968-04-26
E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics Martin Davis The Journal of Symbolic Logic 1968-04-26
N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics G. H. Matthews The Journal of Symbolic Logic 1967-10-09
Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics J. A. Robinson The Journal of Symbolic Logic 1967
Paul J. Cohen. Independence results in set theory. 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 Joel W. Robbin The Journal of Symbolic Logic 1967
Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics David C. Cooper The Journal of Symbolic Logic 1967
G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses A. Heyting, Studies in logic and the foundations of mathematics Yiannis N. Moschovakis The Journal of Symbolic Logic 1966
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting, Studies in logic and the foundations of mathematics Ylannis N. Moschovakis The Journal of Symbolic Logic 1966
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics F. C. Oglesby The Journal of Symbolic Logic 1966
M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics Gerold Stahl The Journal of Symbolic Logic 1966
Mathematical Logic and the Foundations of Mathematics G. T. Kneebone J. C. Shepherdson The British Journal for the Philosophy of Science 1964-11-01
The Logical Systems of Leśniewski. Studies in Logic and the Foundations of Mathematics Eugene C. Luschei י. ב-ה. Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי 1964-07-00
S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam A. Heyting. Studies in logic and the foundations of mathematics Donald L. Kreider The Journal of Symbolic Logic 1962
Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam A. Heyting. Studies in logic and the foundations of mathematics Carol R. Karp The Journal of Symbolic Logic 1962
Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics Hans Reichenbach Czesław Lejewski The British Journal for the Philosophy of Science 1955-02-01
Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics Hans Reichenbach Carl G. Hempel The Journal of Symbolic Logic 1955
« Prev 2 Next »

Open this search with filters