A comprehensive index of philosophy book reviews

Reviews matching “The theory of logic”

409 results · page 7 of 9

BookAuthorReviewerJournalDate
On Set Theoretical Foundations of System Theory: A Study of the State Concept Sampo Salovaara L A Zadeh The Journal of Symbolic Logic 1970-12-01
An Essay in Deontic Logic and the General Theory of Action Georg Henrik Von Wright A N Prior Ratio 1970-12-01
The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes David P Gauthier W J Rees The Philosophical Quarterly 1970-07-01
Logica Modernorum: A Contribution to the History of Early Terminist Logic. Volume I: On the Twelfth Century Theories of Fallacy. Volume II: The Origin and Early Development of the Theory of Supposition Lambertus Marie De Rijk Norman Kretzmann The Philosophical Review 1970-04-00
Set Theory and its Logic (Revised Ed) V O Quine Donald A Martin The Journal of Philosophy 1970-02-01
An Essay in Deontic Logic and the General Theory of Action Georg Henrik Von Wright Georges Kalinowski Archiv für Rechts- und Sozialphilosophie 1970-01-01
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
Model theory and non-standard arithmetic A. Robinson William N. Reinhardt 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
R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley Richard A. Platek 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
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
Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T Noam Chomsky Ann S. Ferebee The Journal of Symbolic Logic 1970
Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T Noam Chomsky Ann S. Ferebee The Journal of Symbolic Logic 1970
R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September John N. Crossley Richard A. Platek The Journal of Symbolic Logic 1970
On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort Luitzen Egbertus Jan Brouwer Joan Rand Moschovakis The Journal of Symbolic Logic 1970
Coherence theory of truth Alan R. White Benson Mates The Journal of Symbolic Logic 1970
Set theory Paul J Cohen William Craig The Journal of Symbolic Logic 1970
Correspondence theory of truth A. N. Prior Benson Mates 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
Basic verifiability in the combinatory theory of restricted generality Haskell B. Curry Richard J. Orgass 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
Model theory and non-standard arithmetic A. Robinson William N. Reinhardt 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
Logic by Way of Set Theory H. Ehlers J. R. Chidgey The British Journal for the Philosophy of Science 1969-08-01
Elements of mathematical logic. (Model theory) G. Kreisel and J. L. Krivine C. C. Chang The Journal of Symbolic Logic 1969-05-29
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
A theory of formal deducibility Haskell B. Curry Ann S. Ferebee The Journal of Symbolic Logic 1969-05-29
Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson N. E. Kobrinskii and B. A. Trakhtenbrot Robert McNaughton 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 theory of sets Anthony P. Morse J. R. Shoenfield The Journal of Symbolic Logic 1968-04-26
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
A transfinite type theory with type variables P. B. Andrews R. O. Gandy The Journal of Symbolic Logic 1968-04-26
A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference Zohar Manna Martin Davis The Journal of Symbolic Logic 1968-04-26
Logica modernorum; A Contribution to The History of Early Terminist Logic. Vol. II part one: The Origin and Early Development of The Theory of Supposition; Vol. II part two: Texts, Indices. (Wijsgerige teksten en studies, XVI) L. M. De Rijk Jan Pinborg Vivarium 1968-01-00
Introduction to lattice theory D. E. Rutherford Donald Monk The Journal of Symbolic Logic 1968
Aspects of the theory of syntax. The M.I.T Noam Chomsky J. F. Staal The Journal of Symbolic Logic 1967-10-09
Some applications of the theory of models to set theory H. Jerome Keisler Azriel Lévy The Journal of Symbolic Logic 1967-10-09
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
A Deductive Theory of Space and Time, Studies in Logic Saul A. Basri י. ב-ה. Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי 1967-01-00
On non-standard models for number theory Elliott Mendelson Steven Orey 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
Some problems in logical model-theory Lars Svenonius William Hanf The Journal of Symbolic Logic 1966-09-02
Quantification theory J. A. Faris Donald Kalish The Journal of Symbolic Logic 1966
The notion of rank in set-theory Dana Scott A. Hajnal The Journal of Symbolic Logic 1966
Recursive ordinals and predicative set theory Clifford Spector D. A. Clarke The Journal of Symbolic Logic 1966
« Prev 7 Next »

Open this search with filters