CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
Computational logic and set theory : applying formalized logic to analysis / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

出版者 London: Springer
出版年 c2011
大きさ xvii, 416 p. ; 24 cm
本文言語 英語
書誌ID 2004223916
NCID BB06703649 WCLINK

所蔵情報を非表示

理数学図

12200271083

9780857298072

書誌詳細を非表示

一般注記 Includes bibliographical references and index
Forward by Martin Davis
著者標目 *Schwartz, Jacob T.
Cantone, Domenico
Omodeo, Eugenio G.
件 名 LCSH:Set theory
FREE:Electronic books
分 類 LCC:QA248
巻冊次 ISBN:9780857298072