Annual Member
| Title | Algebra and Logic [electronic resource] : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by John Newsome Crossley |
|---|---|
| Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 |
| Connect to | http://dx.doi.org/10.1007/BFb0062849 |
| Descript | X, 314 p. online resource |
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
