このページのリンク

利用統計

  • このページへのアクセス:18回

  • 貸出数:1回
    (1年以内の貸出数:0回)

<図書>
A formalization of set theory without variables

責任表示 by Alfred Tarski and Steven Givant
シリーズ Colloquium publications / American Mathematical Society ; v. 41
データ種別 図書
出版者 Providence, R.I. : American Mathematical Society
出版年 c1987
本文言語 英語
大きさ xxi, 318 p. ; 26 cm

所蔵情報


理系図1F 開架 068252191000885 410.96/Ta 91 1987

理系図3F 数理独自 068222187008578 SER/CP/41 1987

書誌詳細

一般注記 Bibliography: p. 273-282
Includes indexes
著者標目 *Tarski, Alfred, 1902-
Givant, Steven R.
件 名 LCSH:Set theory
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA248
DC19:511.3/22
書誌ID 1000028705
ISBN 0821810413
NCID BA01472392
巻冊次 ISBN:0821810413
登録日 2009.09.10
更新日 2009.09.17

類似資料

この資料を借りた人はこんな資料も借りています