Formale Logik [Book Review]

Review of Metaphysics 12 (4):665-665 (1959)
  Copy   BIBTEX

Abstract

After introducing and illustrating the idea of a calculus, this work develops a philosophically interesting but technical theory of the foundation of logic, in connection with propositional calculi and in relation to recent metamathematical research; then quantification theory is introduced, including material on completeness and undecidability and the theory of equality. Not just another logic text, this information-packed little treatise will probably find a place among the classical introductions to the field.--L. K. B.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Formale Logik. [REVIEW]B. B. J. - 1963 - Review of Metaphysics 16 (4):804-804.
Formale Logik.Paul Lorenzen - 1967 - Berlin,: De Gruyter.
Formale Logik.Joseph M. Bocheński - 1956 - Freiburg,: K. Alber.
Formale Logik.Paul Lorenzen - 1967 - Berlin,: de Gruyter.
Formale Logik.Benson Mates - 1960 - Journal of Symbolic Logic 25 (1):57-62.
Formale Logik.H. Hermes - 1958 - Journal of Symbolic Logic 32 (4):514-514.
Formale Logik. [REVIEW]L. K. B. - 1959 - Review of Metaphysics 12 (4):665-665.
Formale Logik. [REVIEW]R. W. - 1957 - Review of Metaphysics 11 (2):343-343.
Formale Logik. [REVIEW]J. B. B. - 1963 - Review of Metaphysics 16 (4):804-804.
Formale Logik.Paul Lorenz - 1963 - Revista Portuguesa de Filosofia 19 (2):213-213.

Analytics

Added to PP
2012-03-18

Downloads
8 (#517,646)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references