Advanced logic for applications

著者

• Grandy, Richard E.

書誌事項

Advanced logic for applications

Richard E. Grandy

（Synthese library, v. 110）

D. Reidel Pub. Co., c1977

注記

Bibliography: p. [161]-162

Includes indexes

詳細情報

• NII書誌ID(NCID): BA04526443
• ISBN:
  • 9027707812
• LCCN: 77003046
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht, Holland ; Boston
• ページ数/冊数: xi, 167 p.
• 大きさ: 23 cm
• 分類:
  • LCC : BC135
  • DC : 511/.3
  • NDLC : H35
• 件名:
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00017801