Translation of classical into intuitionistic approximated theories

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060875 ◽

1973 ◽

pp. 41-49

Author(s):

Horst Luckhardt

Download Full-text