This textbook covers the fundamental proof-theoretical and
model-theoretical aspects of classical propositional and
first-order logic. . . .The book is clearly written and ideally
suited for an intermediate course on the subject, requiring just
some elementary knowledge of proof theory and model theory.
*Mathematical Reviews*
|
Ask a Question About this Product More... |
|
