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).
Groningen, Van Denderen, 1986 Paperback vi,142 pp. - Thesis.
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Log ind
Bognummer:
1522
€7.00 ($7.72 | £5.84 | ¥1,232)