Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Author(s)
Bibliographic Information
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.
Available at / 76 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||4502128004
-
University of Toyama Library, Central Library図
: Germany410.7||L49||45090079428,
410.96||C88||Al00104646 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Germany510/L4972020880956
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"