Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (met een samenvatting in het Nederlands). - Jan Terlouw

"Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (met een samenvatting in het Nederlands)." is een boek van Jan Terlouw. Het is uitgegeven door Van Denderen. Deze editie verscheen in 1986. Dit werk telt 142 pagina's.

Deze editie wordt tweedehands aangeboden door 1 boekverkopers uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.