LEADER 02342nam 2200601 450 001 996466860903316 005 20220908080801.0 010 $a3-540-37480-9 024 7 $a10.1007/BFb0062849 035 $a(CKB)1000000000438354 035 $a(SSID)ssj0000321076 035 $a(PQKBManifestationID)12133478 035 $a(PQKBTitleCode)TC0000321076 035 $a(PQKBWorkID)10258848 035 $a(PQKB)10943224 035 $a(DE-He213)978-3-540-37480-0 035 $a(MiAaPQ)EBC5585861 035 $a(Au-PeEL)EBL5585861 035 $a(OCoLC)1066177986 035 $a(MiAaPQ)EBC6842330 035 $a(Au-PeEL)EBL6842330 035 $a(OCoLC)793078291 035 $a(PPN)155164481 035 $a(EXLCZ)991000000000438354 100 $a20220908d1975 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAlgebra and logic $epapers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /$fedited by J. N. Crossley 205 $a1st ed. 1975. 210 1$aBerlin ;$aHeidelberg :$cSpringer-Verlag,$d[1975] 210 4$dİ1975 215 $a1 online resource (X, 314 p.) 225 1 $aLecture Notes in Mathematics ;$vVolume 450 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-07152-0 327 $aReminiscences 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. 410 0$aLecture notes in mathematics (Springer-Verlag) ;$vVolume 450. 606 $aAlgebra$vCongresses 606 $aCommutative rings$vCongresses 615 0$aAlgebra 615 0$aCommutative rings 676 $a512 702 $aCrossley$b John N. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466860903316 996 $aAlgebra and logic$9262772 997 $aUNISA