Cover Image
Read Now

1
by Andrews, Peter B.
Published 2002
Springer Netherlands
Table of Contents: “...0 Introduction -- 1 Propositional Calculus -- 2 First-Order Logic -- 3 Provability and Refutability...”