Reviews matching “The theory of logic”

409 results · page 8 of 9

BookAuthorReviewerJournalDate
Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902 Ralph Monroe Eaton Charles A. Baylis The Journal of Symbolic Logic 1966
Some problems and results relevant to the foundations of set theory Alfred Tarski Thomas Frayne The Journal of Symbolic Logic 1965
Theory of formal systems Raymond M. Smullyan Marian Boykan Pour-El The Journal of Symbolic Logic 1965
Solvable Surányi subclasses: an introduction to the Herbrand theory Burton S. Dreben Peter Andrews The Journal of Symbolic Logic 1965
Between number theory and set theory Hao Wang Steven Orey The Journal of Symbolic Logic 1965
Philotheus Boehner. Ockham's theory of supposition and the notion of truth. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts Ernest A. Moody The Journal of Symbolic Logic 1964
Foundations of set theory Abraham A. Fraenkel and Yehoshua Bar-Hillel J. R. Shoenfield The Journal of Symbolic Logic 1964
Partial systems of number theory Hao Wang Steven Orey The Journal of Symbolic Logic 1964
Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959) J. W. Addison Donald L. Kreider The Journal of Symbolic Logic 1964
Introduction to model theory and to the metamathematics of algebra Abraham Robinson Carol R. Karp The Journal of Symbolic Logic 1964
Problema sovpadenija dialektiki, logiki i teorii poznanija (po Filosofskim tetradjam V. I. Lenina) (The Problem of the Coincidence of Dialectic, Logic and Theory of Knowledge (On the Basis of Lenin's "Philosophic Notebooks")) A. X. Kasymžanov T. J. Blakeley Studies in Soviet Thought 1963-09-00
Logic: the theory of formal inference Alice Ambrose and Morris Lazerowitz Monroe C. Beardsley Philosophy of Science 1963-01-01
Logic: the theory of formal inference Alice Ambrose and Morris Lazerowitz Donald Kalish The Journal of Symbolic Logic 1963
Abstract set theory Abraham A. Fraenkel Alonzo Church The Journal of Symbolic Logic 1963
Applications to field theory Abraham Robinson C. C. Chang The Journal of Symbolic Logic 1962
Truth ઈ denotation. A study in semantical theory R. M. Martin Richard Montague The Journal of Symbolic Logic 1959
Axiomatic set theory Paul Bernays Elliott Mendelson The Journal of Symbolic Logic 1959
The theory of proper names. A controversial essay Alan H. Gardiner Charles A. Baylis The Journal of Symbolic Logic 1958
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus R. L. Goodstein Th. Skolem The Journal of Symbolic Logic 1958
Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science Richard Bevan Braithwaite J. H. Woodger The Journal of Symbolic Logic 1957
The relative strength of Zermelo's set theory and Quine's New Foundations J. Barkley Rosser Václav E. Beneš The Journal of Symbolic Logic 1957
Griss' criticism of the intuitionistic logic and the theory of order P. C. Gilmore David Nelson The Journal of Symbolic Logic 1956
Three contributions to recursive function theory J. R. Myhill Norman Shapiro The Journal of Symbolic Logic 1955
Abstract set theory Abraham A. Fraenkel Robert McNaughton The Journal of Symbolic Logic 1955
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel Andrzej Mostowski G. Hasenjaeger The Journal of Symbolic Logic 1954
Notes on the theory of reference Willard Van Orman Quine John G. Kemeny The Journal of Symbolic Logic 1954
The Nyāya Theory of Knowledge. A Critical Study of some Problems of Logic and Metaphysics Satischandra Chatterjee Daniel H. H. Ingalls Philosophy East and West 1953-04-00
The weak theory of implication Alonzo Church Haskell B. Curry The Journal of Symbolic Logic 1953
The weak theory of implication Alonzo Church Haskell B. Curry The Journal of Symbolic Logic 1953
Introduction to Logical Theory P. F. Strawson Christopher Blake The Journal of Symbolic Logic 1953
The Nyāya Theory of Knowledge. A Critical Study of some Problems of Logic and Metaphysics S. C. Chatterjee S. Bhattacharya Philosophy 1952-07-01
Contributions to the founding of the theory of transfinite numbers. Translated, and provided with an introduction and notes, by Philip E. B. Jourdain Georg Cantor Alonzo Church The Journal of Symbolic Logic 1952
The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory Thomas J Jech Leon Henkin The Journal of Symbolic Logic 1952
A theory of formal deducibility Haskell B. Curry Wilhelm Ackermann The Journal of Symbolic Logic 1951
The theory of probability. An inquiry into the logical and mathematical foundations of the calculus of probability. English translation by Ernest H. Hutten and Maria Reichenbach Hans Reichenbach John G. Kemeny The Journal of Symbolic Logic 1951
Dewey's theory of language and meaning Paul Wienpahl Carl G. Hempel The Journal of Symbolic Logic 1951
The ordered pair in number theory W. V. Quine J. Barkley Rosser The Journal of Symbolic Logic 1951
The theory of appearing Roderick M. Chisholm Charles A. Baylis The Journal of Symbolic Logic 1951
(Theory of syntactical categories). Mimeographed Yehoshua Bar-Hillel The Journal of Symbolic Logic 1950
Theory of sets E. Kamke Alonzo Church The Journal of Symbolic Logic 1950
On a certain condition of a semantical theory of science Maria Kokoszyńska Carl G. Hempel The Journal of Symbolic Logic 1950
Theory of Experimental Inference C. West Churchman Everett J. Nelson The Journal of Symbolic Logic 1949
The a priori in physical theory Arthur Pap Ernest H. Hutten The Journal of Symbolic Logic 1946
Theory of probability Harold Jeffreys B. O. Koopman The Journal of Symbolic Logic 1943-03-19
The Nyāya Theory of Knowledge. A Critical Study of some Problems of Logic and Metaphysics S. C. Chatterjee F. O. Schrader Philosophy 1941-01-01
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Kurt Gödel Paul Bernays The Journal of Symbolic Logic 1941
Logic: The Theory of Inquiry John Dewey William R. Dennes The Philosophical Review 1940-03-00
The Technique of Theory Construction J. H. Woodger Albert Wohlstetter The Journal of Symbolic Logic 1940
Logic: The Theory of Inquiry John Dewey W. H. Werkmeister Ethics 1939-10-01
Logic: The Theory of Inquiry John Dewey W. Kneale Philosophy 1939-07-01
« Prev 8 Next »

Open this search with filters