Suppes Patrick. Introduction to logic. D. Van Nostrand Company, Princeton 1957, xviii + 312 pp [Book Review]

Journal of Symbolic Logic 22 (4):353-354 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963916

Links

PhilArchive



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

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

Rabin Michael O.. Effective computability of winning strategies. Contributions to the theory of games, Volume III, Annals of Mathematics studies number 39, Princeton University Press, Princeton, New Jersey, 1957, pp. 147–157. [REVIEW]Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):224-224.
Suppes Patrick. Axiomatic set theory. D. Van Nostrana Company, Princeton, N.J., 1960, xii + 265 pp. [REVIEW]Alfons Borgers - 1960 - Journal of Symbolic Logic 25 (3):277-278.
Mendelson Elliott. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid., January, 1966, x + 300 pp. [REVIEW]Dirk van Dalen - 1969 - Journal of Symbolic Logic 34 (1):110-111.
Kleene Stephen Cole. Introduction to metamathematics. Fourth printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, x + 550 pp. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
Culbertson James T.. Mathematics and logic for digital devices. D. Van Nostrand Company, Inc., Princeton, N. J., New York, Toronto, and London 1958, x + 224 pp. [REVIEW]E. J. McCluskey - 1958 - Journal of Symbolic Logic 23 (3):366-366.
Review: Patrick Suppes, Introduction to Logic. [REVIEW]J. Dopp - 1957 - Journal of Symbolic Logic 22 (4):353-354.
Review: Patrick Suppes, Mathematical Logic for the Schools; Patrick Suppes, Frederick Binford, Experimental Teaching of Mathematical Logic in the Elementary School. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422-422.
Review: Patrick Suppes, Measurement, Empirical Meaningfulness, and Three-Valued Logic; Patrick Suppes, J. W. Addison, Leon Henkin, Alfred Tarski, Logics Appropriate to Empirical Theories. [REVIEW]Robert L. Causey - 1970 - Journal of Symbolic Logic 35 (1):129-131.
Patrick Suppes, Scientific Philosopher Vol. 1: Probability and Probabilistic Causality.Paul Humphreys (ed.) - 1994 - Kluwer Academic Publishers.
Keister William, Ritchie Alistair E., and Washburn Seth H.. The design of switching circuits. With a Foreword by Meszar John. The Bell Telephone Laboratories series. Lithographed. D. van Nostrand Company, New York and Toronto 1951. Third printing 1953, xviii + 556 pp. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):347-348.
Kleene S. C.. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 285–289.Kleene S. C.. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
Review: Patrick Suppes, Introduction to Logic. [REVIEW]H. B. Enderton - 1999 - Journal of Symbolic Logic 64 (3):1368-1368.
Kleene S. C.. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 81–100.Kleene S. C.. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
Kreisel G.. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133.Kreisel G.. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302.Kreisel Georg. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Introduction to Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (40):287-288.

Analytics

Added to PP
2016-06-30

Downloads
22 (#702,277)

6 months
1 (#1,479,630)

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