Lightstone A. H. and Robinson A.. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 , pp. 220–245 [Book Review]

Journal of Symbolic Logic 24 (3):244-245 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963832

Links

PhilArchive



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

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: A. H. Lightstone, A. Robinson, Syntactical Transforms. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
Syntactical Transforms.A. H. Lightstone & A. Robinson - 1959 - Journal of Symbolic Logic 24 (3):244-245.
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.
Robinson Raphael M.. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 , S.137–159.Rózsa Péter - 1952 - Journal of Symbolic Logic 17 (4):268-269.
Oglesby Francis C.. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp.Oglesby F. C.. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 , pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Vaught R. L.. Elementary classes closed under descending intersection. Proceedings of the American Mathematical Society, vol. 17 , pp. 430–433. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-414.
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.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Symbolic Logic and the Real Number System an Introduction to the Foundations of Number Systems / A.H. Lightstone.A. H. Lightstone - 1966 - Harper & Row John Weatherhill.
Halpern J. D. and Läuchli H.. A partition theorem. Transactions of the American Mathematical Society, vol. 124 , pp. 360–367.Halpern J. D. and Lévy A.. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134. [REVIEW]David Pincus - 1974 - Journal of Symbolic Logic 39 (1):181-182.
Robinson J. A.. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence 1967, pp. 1–18. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
Henkin Leon. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 , pp. 410–427. [REVIEW]Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (2):183-184.
Ritchie Robert W.. Classes of predictably computable functions. Transactions of the American Mathematical Society, vol. 106 , pp. 139–173. [REVIEW]C. C. Elgot - 1963 - Journal of Symbolic Logic 28 (3):252-253.
Nonarchimedean Fields and Asymptotic Expansions.A. H. Lightstone & Abraham Robinson - 1981 - Journal of Symbolic Logic 46 (1):163-164.

Analytics

Added to PP
2016-06-30

Downloads
2 (#1,780,599)

6 months
2 (#1,263,261)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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