Logic : form and function : the mechanization of deductive reasoning

Author(s)

• Robinson, J. A. (John Alan)

Bibliographic Information

Logic : form and function : the mechanization of deductive reasoning

J.A. Robinson

University Press, c1979

Note

Bibliography: p. [300]-302

Includes index

• NCID: BA01465105
• ISBN:
  • 0852243057
• LCCN: 79312304
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: vi, 312 p.
• Size: 23 cm
• Classification:
  • LCC : BC199.F6
  • DC : 511/.3
  • NDC8 : 410.96
• Subject Headings:
  • LCSH : Form (Logic)
  • LCSH : Predicate calculus
  • LCSH : Reasoning
  • NDLSH : 記号論理学