Reset Filters
CLC: T - 工业技术

Cover is for reference only

Recursive analysis /

Provability, Computability and Reflection.

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology
Group Author: Goodstein, R. L. Reuben Louis
Published: North-Holland,
Publisher Address: Amsterdam :
Publication Dates: 1961.
Literature type: eBook
Language: English
Series: Studies in Logic and the Foundations of Mathematics ; v. 29
Subjects:
Recursion theory
Logic, Symbolic and mathematical > Periodicals
Logic, Symbolic and mathematical
Fonctions re cursives
MATHEMATICS > General
Electronic books
Online Access: http://www.sciencedirect.com/science/bookseries/0049237X/29
Summary: Provability, Computability and Reflection.
Carrier Form: 1 online resource (vi, 138 pages) : illustrations.
Bibliography: Includes bibliographical references and index.
ISBN: 9780080957494
0080957498
Index Number: QA9
CLC: O141.3
Contents: Recursive convergence -- Recursive and relative continuity -- Relative integral -- Elementary functions -- Transfinite ordinals.

Related Book Recommendations