Aspects of the computational content of proofs
Underwood J.L.Thể loại:
Năm:
1994
Ngôn ngữ:
english
Trang:
146
File:
DJVU, 589 KB
IPFS:
,
english, 1994