Computability Theory: An Introduction to Recursion Theory

Enderton, Herbert B.

Ouvrage indisponible

Éditeur
Academic Press Inc
Pages
192
Parution
décembre 2010
Format
Cartonné
Langue
Anglais
Dimensions
234 × 156 × 18 cm
EAN
9780123849588
  • Résumé

Provides an introduction to contemporary computability theory, techniques, and results. This title includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page