このページのリンク

利用統計

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

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

<図書>
Mathematical Logic

責任表示 George Tourlakis
シリーズ Cambridge studies in advanced mathematics ; 82 . Lectures in logic and set theory / George Tourlakis ; v. 1
データ種別 図書
出版者 Cambridge : Cambridge University Press
出版年 2003
本文言語 英語
大きさ xi, 328 p. ; 24 cm
概要 This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate ...ourse in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen. 続きを見る
目次 v. 1. Mathematical logic
v. 2. Set theory.
電子版へのリンク

所蔵情報


理系図3F 数理独自 023212002006826 TOUR/5/1-1 2003

書誌詳細

一般注記 Includes bibliographical references (p. 319-320) and index
著者標目 *Tourlakis, George J.
件 名 LCSH:Logic, symbolic and mathematical
LCSH:Set theory
分 類 DC21:511.3
LCC:QA9.2.T68 2003
書誌ID 1001395701
ISBN 0521753732
NCID BA60165272
巻冊次 : hardback ; ISBN:0521753732 ; XISBN:9780521753739
NBN BA2V3285
登録日 2009.11.02
更新日 2017.03.14

類似資料

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