このページのリンク

利用統計

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

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

<図書>
Closure spaces and logic

責任表示 by Norman M. Martin and Stephen Pollard
シリーズ Mathematics and its applications ; v. 369
データ種別 図書
出版者 Dordrecht : Kluwer
出版年 c1996
本文言語 英語
大きさ xvi, 230 p. ; 25 cm
概要 Presupposes very little technical knowledge, but would be most easily digested by someone with a background in symbolic logic or upper division or graduate mathematics. Addressed primarily to logician..., but also of potential interest to computer scientists and other mathematicians. Examines closure spaces, an abstract mathematical theory, emphasizing results applicable to formal logic. The theory is developed conceptually and mathematically as part of topology, demonstrating how topological methods can be used in logical theory. Double spaced. Annotation copyright by Book News, Inc., Portland, OR続きを見る

所蔵情報

: hb 理系図1F 開架 026211996002556 414/Ma 53 1996
: hb 理系図3F 数理独自 023211996010624 MART/115/1 1996

書誌詳細

一般注記 Includes bibliographical references (p. [225]-226) and index
著者標目 *Martin, Norman M.
Pollard, Stephen
件 名 LCSH:Closure spaces
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA611.3
DC20:514/.32
書誌ID 1001157466
ISBN 0792341104
NCID BA2820809X
巻冊次 : hb ; ISBN:0792341104
登録日 2009.09.17
更新日 2009.09.17

類似資料