Minimum Classical Extensions of Constructive Theories

Lecture Notes in Computer Science - Connecting with Computability ◽

10.1007/978-3-030-80049-9_33 ◽

2021 ◽

pp. 353-362

Author(s):

Joan Rand Moschovakis ◽

Garyfallia Vafeiadou

Download Full-text