00300nam a2200121Ia 45000030006000000080041000060400015000471000021000622450057000832600009001405460012001490050017001610STCL150530s9999    xx            000 0 und d  aSTCLcSTCL  aMendelson Elliot  aIntroduction to mathematical logic university series  c1964  aEnglish20220125165921.0