First-order logic and automated theorem proving / Melvin Fitting.
1996
QA76.9.A96 F68 1996
Linked e-resources
Linked Resource
Online Access
Details
Title
First-order logic and automated theorem proving / Melvin Fitting.
Edition
Second edition.
ISBN
0387945938 (New York : hardcover : alk. paper)
9781461275152
9781461223603 (e-book)
9781461275152
9781461223603 (e-book)
Published
New York : Springer, [1996]
Copyright
©1996
Language
English
Description
1 online resource (336 pages) : illustrations.
Call Number
QA76.9.A96 F68 1996
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Graduate texts in computer science (Springer-Verlag New York Inc.)
Available in Other Form
First-order logic and automated theorem proving.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources