00526nam a2200181Ia 4500082002000000100002500020245002400045260003400069300002100103490006100124500000500185690000600190700000500196952010200201964001700303921000900320999001500329  a511.3bSm666.FO  aSmullyan, Raymond M.  aFirst order logicb  aBerlinbSpringer-Verlagc1968  axii, 158p. Index  aErgebnisse der Mathematik und ihrer Grenzgebietev v. 43  a  a   a  001040708GRaISIbISId1998-09-07l0o511.3 Sm666.FOpG68r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8825  c8825d8825