00303nam a2200133Ia 45000030006000000080041000060400015000471000024000622450035000862500010001212600009001315460012001400050017001520STCL150530s9999    xx            000 0 und d  aSTCLcSTCL  aRosenbloom Paul, C.  aElements of mathematical logic  aFirst  c1950  aEnglish20220125165921.0