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 |