Computability, complexity, logic / E. Börger.

• Material Type: 図書
• ISBN: 0444874062
• Title: Computability, complexity, logic / E. Börger.
• Series Title: Studies in logic and the foundations of mathematics ; v. 128
• Title Heading: Berechenbarkeit, Komplexität, Logik. English
• Author Heading: Börger, E. (Egon), 1946-
• Publication, Distribution, etc.: Amsterdam : North-Holland; New York : North-Holland; New York, N.Y., U.S.A. : North-Holland; Amsterdam : Elsevier Science Pub. Co. [distributor]; New York : Elsevier Science Pub. Co. [distributor]; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor]
• Publication Date: 1989.
• Publication Date (W3CDTF): 1989
• Extent: xx, 592 p. : ill. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: 計算量理論. Keisanryoriron.; 記号論理学. Kigoronrigaku.; Computable functions.; Computational complexity.; Logic, Symbolic and mathematical.
• LCC: QA9.59
• DDC: 511.3
• NDLC: MA41
• Note (General): Translation of: Berechenbarkeit, Komplexität, Logik.; Includes index.
• Note (Bibliography): Bibliography: p. [528]-573.
• Holding library: 国立国会図書館
• Call No.: MA41-A61
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003178965; http://id.ndl.go.jp/bib/000003178965
• LC Control Number: 89033636; https://lccn.loc.gov/89033636
• Bibliographic Record Category (NDL): 211

Table of Contents

CONTENTS

Graph of dependencies/ XIV

Introduction/ XV

Terminology and prerequisites/ XVIII

Book One　ELEMENTARY THEORY OF COWPUTATION/ 1