TERLOUW, J. — Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (Met een samenvatting in het Nederlands).
Utrecht, N.p., 1986. (VI) 141 pp. Sewn. Thesis. spine discoloured, good condition
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Accedi
Numero libro:
15173
€10.00 ($11.02 | £8.34 | ¥1,760)