Functional Interpretations of Feasibly Constructive Arithmetic Abstract

Feasible Mathematics ◽

10.1007/978-1-4612-3466-1_6 ◽

1990 ◽

pp. 97-98

Author(s):

Stephen Cook ◽

Alasdair Urquhart

Download Full-text