Algebra and Logic Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / [electronic resource] :
edited by John Newsome Crossley.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1975.
- X, 314 p. online resource.
- Lecture Notes in Mathematics, 450 0075-8434 ; .
- Lecture Notes in Mathematics, 450 .
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.
9783540374800
10.1007/BFb0062849 doi
Mathematics.
Mathematics.
Mathematics, general.
QA1-939
510
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.
9783540374800
10.1007/BFb0062849 doi
Mathematics.
Mathematics.
Mathematics, general.
QA1-939
510