This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author ...

This book is no longer available to purchase from Cambridge Core Elementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all ...