Natural logic
著者
書誌事項
Natural logic
Edinburgh University Press, 1990
[Rev. ed.]
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
"First edition 1978. Reprinted in paperback with corrections 1990."--T.p. verso
Bibliography: p. [181]-184
Includes index
内容説明・目次
内容説明
This introduction to mathematical logic contains notes, tables and exercises taking the student from first principles to more advanced theory. The author has based the text and exercises on his teaching experience.
目次
- Form and structure of sentences
- classical truth conditions
- form and structure of proofs
- propositional metalogic
- first order metalogic
- first order theories.
「Nielsen BookData」 より