Diagonalization and self-reference

Diagonalization and self-reference

by Smullyan, Raymond, (Raymond Merrill)

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Diagonalization and self-reference / Raymond M. Smullyan.

Edition Statements

  • Publication Date:1994.

Publication Statements

  • Publisher(s):University Press
  • Place of Publication:Oxford
  • Language:eng
  • Publication Date:1994.

The Physical Object

  • Description:xv, 396 p. : : fig. ; : 24 cm

Edition Identifiers

  • ISBN:0198534507, 9780198534501
  • oclc:ocn782167377
  • LC Classification:QA9.6
  • Dewey Decimal:511.3

Subjects

Combinatorische logica Fixed point theory Metamathematica Recursie Recursion theory Récursivité, Théorie de la Théorème du point fixe Théorie de la récursivité

Writers

Smullyan, Raymond, (Raymond Merrill)

More from this Series

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998.
    more →

  • Twenty-five years of constructive type theory

    1998
    more →
    Twenty-five years of constructive type theory

  • Twenty five years of constructive type theory

    1998.
    more →
    Twenty five years of constructive type theory

  • Twenty-five years of constructive type theory

    1998.
    more →

Rate & Review

0.0/5
(0 people Voted)

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

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy