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, 1975Description: X, 314 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540374800Subject(s): Mathematics | Mathematics | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 510 LOC classification: QA1-939Online resources: Click here to access online
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK501 |
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.