00293nam a2200121Ia 45000030006000000080041000060400015000471000022000622450036000842600022001205460012001420050017001540STCL150530s9999    xx            000 0 und d  aSTCLcSTCL  aCurry Haskell, B.  aFoundation of mathamatics logic  bMcgraw hillc1963  aEnglish20220125165921.0