Functional interpretations of feasibly constructive arithmetic

MLA

Cook, Stephen A. and Alasdair. Urquhart. Functional interpretations of feasibly constructive arithmetic. [Toronto, Ont.] : Department of Computer Science, University of Toronto, [1988]

APA

Cook, S. & Urquhart, A. (1988). Functional interpretations of feasibly constructive arithmetic. [Toronto, Ont.] : Department of Computer Science, University of Toronto.

Chicago

Cook, Stephen A. and Alasdair. Urquhart. Functional interpretations of feasibly constructive arithmetic. [Toronto, Ont.] : Department of Computer Science, University of Toronto, [1988]