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.
Material type: TextSeries: Lecture Notes in Mathematics ; 450Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975Description: X, 314 p. online resourceContent type:- text
- computer
- online resource
- 9783540374800
- 512 23
- QA150-272
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.
There are no comments on this title.