Chargement en cours...
Recursion theory for metamathematics.
| Auteur principal: | |
|---|---|
| Format: | Printed Book |
| Langue: | English |
| Publié: |
New York:
Oxford University Press,
1993.
|
| Sujets: |
| Description matérielle: | xiv, 163p. |
|---|