发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Between constructive and classical mathematics

Börger, Egon; Oberschelp, Walter; Richter, Michael M.; Schinzel, Brigitta; Thomas, Wolfgang

作者Börger, Egon; Oberschelp, Walter; Richter, Michael M.; Schinzel, Brigitta; Thomas, Wolfgang
文件大小1189.52KB
发表时间1984
DOI10.1007/BFb0099484
页码143-162