First-order logic. Smullyan, R. M. Springer-Verlag New York, Inc., New York, 1968.
bibtex   
@book {MR0243994,
    AUTHOR = {Smullyan, Raymond M.},
     TITLE = {First-order logic},
    SERIES = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 43},
 PUBLISHER = {Springer-Verlag New York, Inc., New York},
      YEAR = {1968},
     PAGES = {xii+158},
   MRCLASS = {02.16},
  MRNUMBER = {0243994 (39 \#5311)},
MRREVIEWER = {W. Taylor},
  BOEKCODE = {03-xx},
}
Downloads: 0