このページのリンク

<図書>
Proof, logic and formalization / edited by Michael Detlefsen

出版者 London ; New York : Routledge
出版年 1992
コード類 書誌ID=2000419963 NCID=BA1369941X

書誌詳細を表示

本文言語 英語
大きさ x, 241 p. ; 23 cm
一般注記 Includes bibliographical references and index
著者標目 Detlefsen, Michael, 1948-
件 名 LCSH:Proof theory
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA9.54
DC20:511.3
巻冊次 ISBN:0415023351

所蔵情報を非表示

文 哲学倫理学 共通
511.3/D482 0570583632
0415023351 1992

 類似資料