J. Barkley Rosser. Logic for mathematicians. Second edition of XVIII 326. Chelsea Publishing Company, New York1978, xv + 574 pp [Book Review]

Journal of Symbolic Logic 45 (3):631-632 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273431

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Logic for Mathematicians.H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
Rosser J. Barkley. Logic for mathematicians. McGraw-Hill Book New York–Toronto–London 1953, xiv + 530 pp. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Rosser J. Barkley. The relative strength of Zermelo's set theory and Quine's New Foundations. Proceedings of the International Congress of Mathematicians 1954, Amsterdam, September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, and North-Holland Publishing Co., Amsterdam, pp. 289–294. [REVIEW]Václav E. Beneš - 1957 - Journal of Symbolic Logic 22 (3):294-294.
Dopp J.. La notion d'existence dans la logique moderne. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 735–739. [REVIEW]J. Barkley Rosser - 1950 - Journal of Symbolic Logic 14 (4):247-247.
Venn John. Symbolic logic. Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):614-615.
Logic for mathematicians.J. Barkley Rosser - 1978 - Mineola, N.Y.: Dover Publications.
Beth E. W.. Sur la description de certains modèles d'un système formel. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 64–69. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (3):224-224.
Schröder Ernst. Vorlesungen über die Algebra der Logik . Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp. [REVIEW]Paul Bernays - 1975 - Journal of Symbolic Logic 40 (4):609-614.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Kleene Stephen Cole. Introduction to metamathematics. Sixth printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 pp. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):332-333.
Ilmar Tammelo. Modern logic in the service of law. Springer-Verlag, Vienna and New York1978, xviii + 175 pp. [REVIEW]Nicholas A. Vonneuman - 1980 - Journal of Symbolic Logic 45 (3):633-634.

Analytics

Added to PP
2016-06-30

Downloads
21 (#720,615)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references