Record:   Prev Next
作者 Andrews, P. B. (Peter Bruce), 1937-
書名 An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
出版項 Orlando : Academic Press, 1986
國際標準書號 0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 A638    在架上    30340200199689
 資訊所圖書室圖書區  F4.1 A5685    在架上    30330000067509
說明 xv, 304 p. ; 24 cm
系列 Computer science and applied mathematics
附註 Bibliography: p. 293-295
Includes index
主題 Logic, Symbolic and mathematical
Type theory
Mathematical logic iis
Record:   Prev Next