ENGLISH

First-Order Logic and Automated Theorem Proving

By Melvin Fitting

Book information

Publisher
Springer
Year
1996
ISBN
9781461275152
Language
english
Format
DJVU
Filesize
2 MB (2245270 bytes)
Series
Graduate Texts in Computer Science
Edition
2nd
Pages
338\338
Topic
Mathematics Logic
Library
kolxoz
DPI
600
Time added
2014-05-08 09:00:00

Similar books