Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
著者
書誌事項
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
(Lecture notes in mathematics, 450)
Springer-Verlag, 1975
- : Germany
- : U.S.
大学図書館所蔵 全77件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographies
内容説明・目次
目次
Reminiscences of logicians.- Frames and models in modal logic.- A language and axioms for explicit mathematics.- Dimension theory of commutative polynomial rings.- Dimension theory of power series rings over a commutative ring.- Axiomatic classes in propositional modal logic.- Nilpotent actions on nilpotent groups.- Structure theorems for inverse semigroups.- Recursion theory and algebra.- An exposition of forcing.- Logic and foundations.- Church-Rosser theorems for replacement systems.
「Nielsen BookData」 より