00386nam a2200121Ia 4500008004100000082001700041100002100058245003800079260003300117300001000150630001800160650008600178211109s9999||||xx |||||||||||||| ||und||  a511.3bCUR-F  aCurry, Haskell B 0aFoundations Of Mathematical Logic  bMcGraw HillaSingaporec1963  a407p.  xGeneral Stack  aNatural SciencesvMathematicsLogicsGeneral Principles of MathematicsxMathematics