00315nam a2200133Ia 45000030006000000080041000060400015000471000032000622450039000942500010001332600009001435460012001520050017001640STCL150530s9999    xx            000 0 und d  aSTCLcSTCL  aSuppes Patrik; Hill Shirley  aFirst course in mathematical logic  aFirst  c1964  aEnglish20220125165921.0