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).
(VI) 141 pp. Sewn. Thesis. *spine discoloured, good condition*
€ 10.00