Rabin M. O.. Computable algebraic systems. 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. 134–138.Rabin Michael O.. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 , pp. 341–360 [Book Review]
Journal of Symbolic Logic 32 (3):412-413 (1967)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2270825
My notes
Similar books and articles
Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
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.
Kochen Simon. Completeness of algebraic systems in higher order calculi. 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. 370–376. [REVIEW]R. L. Vaught - 1962 - Journal of Symbolic Logic 27 (1):97-97.
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.
Gilmore P. C.. An alternative to set theory. The American mathematical monthly, vol. 67 , pp. 621–632.Gilmore P. C.. The monadic theory of types in the lower predicate calculus. 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. 309–312. [REVIEW]Bede Rundle - 1972 - Journal of Symbolic Logic 37 (4):766-767.
Robinson Abraham. Applications to field theory. 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. 326–331. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):97-97.
Scott Dana. The notion of rank in set-theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 267–269. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):662-663.
Kreisel G.. Sums of squares. 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. 313–320. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
Duda W. L.. Post canonical language. 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. 410–423. [REVIEW]W. E. Singletary - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Fridshal R.. The Quine algorithm. 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. 211–212. [REVIEW]Thomas H. Mott - 1962 - Journal of Symbolic Logic 27 (1):103-103.
J. W. Addison. Hierarchies and the axiom of constructibility. 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. 355–362. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):137-138.
Wang Hao. Symbolic representations of calculating machines. 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. 181–188. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Curry Haskell B.. Combinatory 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. 90–99. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-267.
Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
Putnam Hilary. Axioms of class existence. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 271–274. [REVIEW]A. Hajnal - 1966 - Journal of Symbolic Logic 31 (4):663-663.
Analytics
Added to PP
2016-06-30
Downloads
34 (#345,921)
6 months
1 (#451,971)
2016-06-30
Downloads
34 (#345,921)
6 months
1 (#451,971)
Historical graph of downloads
