Lanean...
Recursion theory for metamathematics.
| Egile nagusia: | |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
New York:
Oxford University Press,
1993.
|
| Gaiak: |
MAT
| Sailkapena: |
510.57 SMU |
|---|---|
| Alea | Egoera zuzenean ez dago erabilgarri |