00317nam a2200121Ia 4500082002000000100002500020245002400045260003400069300002100103490006100124500000500185700000500190  a511.3bSm666.FO  aSmullyan, Raymond M.  aFirst order logicb  aBerlinbSpringer-Verlagc1968  axii, 158p. Index  aErgebnisse der Mathematik und ihrer Grenzgebietev v. 43  a  a