00288nam a2200121Ia 45000030006000000080041000060400015000471000017000622450049000792600009001285460012001370050017001490STCL150530s9999 xx 000 0 und d aSTCLcSTCL aAsirvatham,A aConcise intermediate Logic part II induction c1954 aEnglish20220125165326.0