Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 , pp. 494–520 [Book Review]

Journal of Symbolic Logic 32 (2):270 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271695

Links

PhilArchive



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

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: Patrick C. Fischer, Theory of Provable Recursive Functions. [REVIEW]H. B. Enderton - 1967 - Journal of Symbolic Logic 32 (2):270-270.
Theory of Provable Recursive Functions.Patrick C. Fischer - 1967 - Journal of Symbolic Logic 32 (2):270-270.
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.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 , pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 , pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 , pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
Intuitionistically provable recursive well-orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
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.
On provable recursive functions.H. B. Enderton - 1968 - Notre Dame Journal of Formal Logic 9 (1):86-88.
A foundation for real recursive function theory.José Félix Costa, Bruno Loff & Jerzy Mycka - 2009 - Annals of Pure and Applied Logic 160 (3):255-288.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Kleene S. C.. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 , pp. 41–73. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Rice H. G.. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 , pp. 277–300. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):375-375.
Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 , pp. 526–543. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
Kleene S. C.. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 , pp. 1–52. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,105,752)

6 months
2 (#1,263,261)

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