このページのリンク

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

データ種別 図書
2nd ed.
出版者 Cambridge : Cambridge University Press
出版者 New York
出版年 2000.
大きさ xii, 417 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 411/Tr6b2 05466890
0521779111

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 379-403) and index.
著者標目 Troelstra, A. S.
Schwichtenberg, Helmut,(1942-)
件 名 Proof theory
分 類 NDC:411
書誌ID 1000238886
ISBN 0521779111
NCID BA47606340 WCLINK
URL1 http://www.amazon.co.jp/exec/obidos/ASIN/0521779111/
コメント Amazon.com

 類似資料