Henkin Leon. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 , pp. 410–427 [Book Review]

Journal of Symbolic Logic 20 (2):183-184 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266936

Links

PhilArchive



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

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, Some Interconnections Between Modern Algebra and Mathematical Logic. [REVIEW]Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (2):183-184.
Some Interconnections Between Modern Algebra and Mathematical Logic.Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):183-184.
Henkin Leon. On mathematical induction. American mathematical monthly, vol. 67 , pp. 323–338.H. Hermes - 1962 - Journal of Symbolic Logic 27 (1):92-93.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
La structure algébrique des théories mathématiques.Leon Henkin - 1956 - E. Nauwelaerts.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley.John West Addison, Leon Henkin & Alfred Tarski - 1972
Henkin Leon. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (4):209-209.
C. C. Chang. Algebraization of infinitely many-valued logic. 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. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Nelson David. Recursive functions and intuitionistic number theory. Transactions of the American Mathematical Society, vol. 61 , pp. 307–368. See Errata, ibid., p. 556. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):93-94.
Mathematical Foundations for Mathematics.Leon Henkin - 1974 - Journal of Symbolic Logic 39 (2):333-333.
Jeremy J. Gray and Karen H. Parshall , Episodes in the History of Modern Algebra . Providence, RI: American Mathematical Society and London: London Mathematical Society, 2007. Pp. vii+336 pp. ISBN 978-0-8218-4343-7. $69.00. [REVIEW]Ivor Grattan-Guinness - 2009 - British Journal for the History of Science 42 (2):304.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic.". [REVIEW]Steven Orey - 1954 - Journal of Symbolic Logic 19 (2):129-129.

Analytics

Added to PP
2016-06-30

Downloads
3 (#1,706,418)

6 months
1 (#1,469,469)

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