Recursive function theory and logic

Recursive function theory and logic

by Yasuhara, Ann

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Recursive function theory and logic.

Edition Statements

  • Publication Date:1971

Publication Statements

  • Publisher(s):Academic Press
  • Place of Publication:New York
  • Language:eng
  • Publication Date:1971

The Physical Object

  • Description:xv, 338 pages : 24 cm

Edition Identifiers

  • ISBN:0127689508, 9780127689500
  • oclc:ocm00216969
  • LC Classification:QA248.5
  • Dewey Decimal:511/.3

Table of 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.

Read More ↓

Subjects

Fonctions récursives Logic, Symbolic and mathematical Logik Logique symbolique et mathématique Mathematische Logik Recursion theory Recursive Functions Rekursive Funktion Theorie

Writers

Yasuhara, Ann

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Recursive function theory and logic -- (.djvu)

    DJVU · 3.5 MB · updated
    Login →