Handbook of recursive mathematics

(ed.)
New York: Elsevier (1998)
  Copy   BIBTEX

Abstract

v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.

Categories

Keywords

Reprint years

Call number

QA9.6.H36 1998

ISBN(s)

044450107X

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

Chapters

Computability theory and linear orders.Rod Downey

Similar books and articles

Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
A general formulation of simultaneous inductive-recursive definitions in type theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.
Syntactic Structures and Recursive Devices: A Legacy of Imprecision. [REVIEW]Marcus Tomalin - 2011 - Journal of Logic, Language and Information 20 (3):297-315.
Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: Dover Publications.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.

Analytics

Added to PP
2009-01-28

Downloads
10 (#1,160,791)

6 months
9 (#298,039)

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