Coverart for item
The Resource Recursive function theory and logic

Recursive function theory and logic

Label
Recursive function theory and logic
Title
Recursive function theory and logic
Creator
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Yasuhara, Ann
Index
index present
Literary form
non fiction
Nature of contents
bibliography
Series statement
Computer science and applied mathematics
http://library.link/vocab/subjectName
  • Recursive functions
  • Logic, Symbolic and mathematical
Label
Recursive function theory and logic
Instantiates
Publication
Bibliography note
Bibliography: pages 321-326
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
pt. I. Recursive function theory. Turing machines -- Semi-Thue and Thue systems -- Enumerations and Gödel numbering -- Recursive functions -- Equivalence of recursive and Turing-computable functions -- Inside recursive functions -- Recursively enumerable sets -- Recursive and recursively enumerable relations -- pt. II. Mathematical logic. The propositional calculus as an example -- Introduction to first-order languages and relational systems -- First-order theories without equality -- First-order theories with equality -- Herbrand's theorem -- Decidable and undecidable theories
Control code
216969
Dimensions
24 cm
Extent
xv, 338 pages
Isbn
9780127689500
Lccn
74154379
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)627911
Label
Recursive function theory and logic
Publication
Bibliography note
Bibliography: pages 321-326
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
pt. I. Recursive function theory. Turing machines -- Semi-Thue and Thue systems -- Enumerations and Gödel numbering -- Recursive functions -- Equivalence of recursive and Turing-computable functions -- Inside recursive functions -- Recursively enumerable sets -- Recursive and recursively enumerable relations -- pt. II. Mathematical logic. The propositional calculus as an example -- Introduction to first-order languages and relational systems -- First-order theories without equality -- First-order theories with equality -- Herbrand's theorem -- Decidable and undecidable theories
Control code
216969
Dimensions
24 cm
Extent
xv, 338 pages
Isbn
9780127689500
Lccn
74154379
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)627911

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...