Functional interpretations of feasibly constructive arithmetic
Stephen Cook, Alasdair UrquhartVolume:
63
Année:
1993
Langue:
english
Pages:
98
DOI:
10.1016/0168-0072(93)90044-e
Fichier:
PDF, 5.61 MB
english, 1993