このページのリンク

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.
(London Mathematical Society lecture note series ; 258)

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

所蔵情報を非表示


GF:BOOK.SHELF 411/L82s 05730710
0521635497

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Logic Colloquium((1997)
Cooper, S. B.
Association for Symbolic Logic.
Truss, J. K.
件 名 Set theory--Congresses.
Proof theory--Congresses.
分 類 NDC:411
書誌ID 1000257488
ISBN 0521635497
URL1 http://www.amazon.co.jp/exec/obidos/ASIN/0521635497/
コメント Amazon.com

 類似資料