このページのリンク

Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
(Cambridge tracts in theoretical computer science. ; 43)

データ種別 図書
出版者 Cambridge : Cambridge University Press
出版者 New York
出版年 1996.
大きさ xi, 343 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 411/Tr6b 04838830
0521572231

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 309-330) and index.
著者標目 Troelstra, A. S.
Schwichtenberg, Helmut,(1942-)
件 名 Proof theory
分 類 NDC:411
書誌ID 1000204580
ISBN 0521572231
NCID BA28275348 WCLINK

 類似資料