First-order logic and automated theorem proving

Author(s)

• Fitting, Melvin Chris

Bibliographic Information

First-order logic and automated theorem proving

Melvin Fitting

（Graduate texts in computer science）

Springer-Verlag, c1996

2nd ed

• : pbk.

Note

Includes bibliographical references and index

Details

• NCID: BA26621867
• ISBN:
  • 0387945938
  • 9781461275152
• LCCN: 95045225
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xvi, 326 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA23711271