Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing elementary mathematics. The Macmillan Company, New York1962, xviii + 418 pp [Book Review]

Journal of Symbolic Logic 29 (4):209 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270395

Links

PhilArchive



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

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: Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh, Retracing Elementary Mathematics. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (4):209-209.
Retracing elementary mathematics.Leon Henkin - 1962 - New York,: Macmillan.
Richardson Moses. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York 1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp. [REVIEW]William E. Gould - 1971 - Journal of Symbolic Logic 36 (4):678-678.
Schwabhäuser Wolfram. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 312–328. [REVIEW]L. W. Szczerba - 1971 - Journal of Symbolic Logic 36 (4):682.
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338.
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
Scott Dana. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 329–341. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
Robinson Abraham. On the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, IX + 195 pp. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
George Boole. Of syllogisms. Reprinted from 191. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 177–191. - Rudolf Carnap. Elementary and abstract terms. Reprinted from IV 117. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 221–229. - Lewis Carroll . The bilateral diagram. Reprinted from 674. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 230–233. - Gottlob Frege. Definitions. Reprinted from XVIII 92. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 329–342. - John Neville Keynes. Propositions. Reprinted from 631. Classics in logic, Readings in epistemology, theory of knowledge an. [REVIEW]Alonzo Church - 1964 - Journal of Symbolic Logic 29 (3):135-135.
New Studies in the Philosophy of Descartes. By Norman kemp smith.(Macmillan. 1952. Pp. 369 + viii. Price 25s.)Descartes's Philosophical Writings. Selected and translated by Norman kemp smith. (Macmillan 1952. Pp. vii + 316. Price 25s.). [REVIEW]D. J. McCracken - 1955 - Philosophy 30 (112):77-.
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
Hohn Franz E.. Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104. The Macmillan Company, New York, et Collier-Macmillan Limited, Londres, 1966, xiii + 273 p. [REVIEW]J. Kuntzmann - 1968 - Journal of Symbolic Logic 33 (2):304-304.

Analytics

Added to PP
2016-06-30

Downloads
20 (#723,940)

6 months
1 (#1,459,555)

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