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. Deze editie wordt tweedehands aangeboden door 1 boekverkoper(s) uit Heerlen. Voor meer info, bekijk de beschrijving van de beschikbare exemplaren verder op deze pagina.