Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi.

• Material Type: 図書
• ISBN: 0444872957
• Title: Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi.
• Series Title: Studies in logic and the foundations of mathematics ; v. 125
• Author Heading: Odifreddi, Piergiorgio, 1950- ( 01182766 )Authorities
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; Tokyo : North-Holland; New York, N.Y., USA : North-Holland; Amsterdam : Sole distributors for the USA and Canada, Elsevier Science Pub. Co.; New York : Sole distributors for the USA and Canada, Elsevier Science Pub. Co.; Tokyo : Sole distributors for the USA and Canada, Elsevier Science Pub. Co.; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co.
• Publication Date: 1989.
• Publication Date (W3CDTF): 1989
• Extent: xvii, 668 p. : ill. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: 帰納法. Kinoho.; Recursion theory.
• LCC: QA9.6
• DDC: 511.3
• NDLC: MA41
• Note (General): Includes indexes.
• Note (Bibliography): Bibliography: p. 603-641.
• Holding library: 国立国会図書館
• Call No.: MA41-A57
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003173727; http://id.ndl.go.jp/bib/000003173727
• LC Control Number: 88033481; https://lccn.loc.gov/88033481
• Bibliographic Record Category (NDL): 211

Table of Contents

Contents

Foreword by G. E. Sacks/ vii

Preface/ ix

Introduction/ 1

What is 'Classical'/ 1