Logo Logo
Help
Contact
Switch Language to German

Schwichtenberg, Helmut (1979): On bar recursion of types 0 and 1. In: The Journal of Symbolic Logic, No. 44: pp. 325-329 [PDF, 364kB]

Actions (login required)

View Item View Item