Proof-theoretical analyses of transfinite recursion and inductive definitions
By: Jan Terlouw
Published: 1986
Language: eng
Number of pages: 141
Other titles: Bewijstheoretische analyses van transfiniete recursie en inductieve definities.
Notes: Mit einer Zsfassung in Niederländisch. - Utrecht, Univ., Naturwiss. Diss. 1986.