Logical Investigations, with the Nuprl Proof Assistant

Table of Contents
## Exercises

Show the proof and find the extract of the evidence for the following theorem:

- Theorem 3: (
*A*⇒*B*) ⇒ ((*B*⇒*C*) ⇒ (*A*⇒*C*))

Answers to exercises are shown in Appendix B.