Intensionale Funktionalinterpretation der Analysis

Lecture Notes in Mathematics - ⊨ISILC Proof Theory Symposion ◽

10.1007/bfb0079547 ◽

1975 ◽

pp. 56-72 ◽

Cited By ~ 6

Author(s):

Justus Diller ◽

Helmut Vogel

Download Full-text