• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Palúch, Stanislav

• Palúch, Stanislav: The lattices of numerations of theories containing Peano's arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 2, pp. 339-359