A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers
Karel Louis de Bouvère
Bok Engelsk 1959
| Utgitt | Amsterdam : North-Holland Pub. Co. , 1959
|
|---|---|
| Omfang | XIV, 64 s.
|
| Opplysninger | Avhandling - Amsterdam
|
| Emner |
