Subrecursion functions and hierarchies
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Oxford u.a.
Clarendon Press
1984
|
| Schriftenreihe: | Oxford logic guides
9 |
| Schlagworte: |
Exercice logique
> Fonction récursive
> Fonctions calculables
> Fonctions récursives
> Histoire logique
> Recursieve functies
> Récursivité, Théorie de la - Hiérarchies
> Récursivité, Théorie de la
> Computable functions
> Recursion theory
> Hierarchies
> Recursive functions
> Rekursionstheorie
> Rekursive Funktion
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XIII, 189 S. |
|---|---|
| ISBN: | 0198531893 0-19-853189-3 |