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

edited by J.N. Crossley

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ