Logic : form and function : the mechanization of deductive reasoning

著者

• Robinson, J. A. (John Alan)

書誌事項

Logic : form and function : the mechanization of deductive reasoning

J.A. Robinson

University Press, c1979

注記

Bibliography: p. [300]-302

Includes index

詳細情報

• NII書誌ID(NCID): BA01465105
• ISBN:
  • 0852243057
• LCCN: 79312304
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Edinburgh
• ページ数/冊数: vi, 312 p.
• 大きさ: 23 cm
• 分類:
  • LCC : BC199.F6
  • DC : 511/.3
  • NDC8 : 410.96
• 件名:
  • LCSH : Form (Logic)
  • LCSH : Predicate calculus
  • LCSH : Reasoning
  • NDLSH : 記号論理学