Record:   Prev Next
作者 Fletcher, Peter, 1939-
書名 Truth, proof, and infinity : a theory of constructions and contructive reasoning / Peter Fletcher
出版項 Dordrecht ; Boston : Kluwer Academic, c1998
國際標準書號 0792352629 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA8.4 F63 1998    在架上    30340200384331
說明 ix, 469 p. : ill. ; 25 cm
系列 Synthese library ; v. 276
附註 Includes bibliographical references (p. 449-458) and indexes
主題 Mathematics -- Philosophy
Arithmetic
Mathematical analysis
Record:   Prev Next