Nondeducibility of the uniformization principles from Church's thesis in intuitionistic set theory

✍ Scribed by V. Kh. Khakhanyan

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 1988
• Tongue: English
• Weight: 337 KB
• Volume: 43
• Category: Article
• ISSN: 0001-4346
• DOI: 10.1007/bf01158848