Definability and computability

Definability and computability

by Ershov, I︠U︡. L., (I︠U︡riĭ Leonidovich)

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Definability and computability / Yuri L. Ershov.

Edition Statements

  • Publication Date:©1996.

Publication Statements

  • Publisher(s):Consultants Bureau
  • Place of Publication:New York
  • Language:eng
  • Publication Date:©1996.

The Physical Object

  • Description:xiv, 264 pages : : illustrations ; : 24 cm.

Edition Identifiers

  • ISBN:0306110393, 9780306110399
  • oclc:ocm34583981
  • LC Classification:QA9.59
  • Dewey Decimal:511.3

Table of Contents

Ch. 1. [Sigma]-Definability and the Godel Incompleteness Theorem -- Ch. 2. Computability on Admissible Sets -- Ch. 3. Selected Topics.

Read More ↓

Subjects

Berekenbaarheid Computabilidade E Modelos De Computacao Computable functions Definability theory (Mathematical logic) Fonctions calculables Recursie Théorie de la définissabilité (Logique …

Writers

Ershov, I︠U︡. L., (I︠U︡riĭ Leonidovich)

More from this Series

  • Finitely axiomatizable theories

    ©1997.
    more →
    Finitely axiomatizable theories

  • Countable Boolean algebras and decidability

    ©1997.
    more →
    Countable Boolean algebras and decidability

  • Definability and computability

    ©1996.
    more →

  • Algebraic theory of quasivarieties

    1998.
    more →
    Algebraic theory of quasivarieties

  • Algebraic theory of quasivarieties

    ©1998.
    more →
    Algebraic theory of quasivarieties

Rate & Review

0.0/5
(0 people Voted)

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

Files & Downloads

  • Definability and Computability -- (.pdf)

    PDF · 8.7 MB · updated
    Login →

  • Определимость и вычислимость -- (.djvu)

    DJVU · 2.6 MB · updated
    Login →