First-order logic

著者

• Smullyan, Raymond M.

書誌事項

First-order logic

Raymond M. Smullyan

Dover, c1995

• : pbk

注記

"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')"--T.p. verso

Includes bibliographical references (p. [156]) and index

詳細情報

• NII書誌ID(NCID): BA28334345
• ISBN:
  • 0486683702
• LCCN: 94039736
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xii, 158 p.
• 大きさ: 22 cm
• 分類:
  • LCC : QA9
  • DC20 : 511.3
• 件名:
  • LCSH : First-order logic