00265nam a2200121Ia 45000030006000000080041000060400015000471000023000622450020000852600009001055460012001140050017001260STCL150530s9999 xx 000 0 und d aSTCLcSTCL aHalmos Paul, R. Ed aAlgebraic logic c1962 aEnglish20220125165920.0