The Mathematical Analysis of Logic (Key Texts)