TY - BOOK AU - Crossley,John Newsome ED - SpringerLink (Online service) TI - Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia T2 - Lecture Notes in Mathematics, SN - 9783540374800 AV - QA1-939 U1 - 510 23 PY - 1975/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Mathematics KW - Mathematics, general N1 - 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 UR - http://dx.doi.org/10.1007/BFb0062849 ER -