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.
大学図書館所蔵 件 / 全76件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
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」 より