Dear ZLibrary User, now we have a dedicated domain 1lib.us for your region and you have been redirected to it. You can bookmark the new address and use it in the future.
Main First-Order Logic

First-Order Logic

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Categories:
Year:
1995
Publisher:
Dover Publications
Language:
english
Pages:
180
ISBN 10:
0486683702
ISBN 13:
9780486683706
File:
DJVU, 1.45 MB
Download (djvu, 1.45 MB)

You may be interested in Powered by Rec2Me

 

Most frequently terms

 
 
You can write a book review and share your experiences. Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them.