A Height Restricted Generation of a Set of Arithmetic Functions of Order-Type ε0.

Autor: Slessenger, Peter H.1
Zdroj: Mathematical Logic Quarterly. 1985, Vol. 31 Issue 7/8, p117-122. 6p.
Databáze: Academic Search Ultimate