00363nam a2200145Ia 4500008004100000020001800041041000800059082001500067100002200082245003900104250001200143260004500155300000800200365000900208231011s9999    xx            000 0 und d  a9781460000000  aeng  a 511.3/MEN  aElliott Mendelson  aIntroduction to mathematical logic  a3 rd Ed  aCaliforniabWadsworth Inc. Belmontc1998  a341  b8270