E. E. Godel

• Beginner's Guide to Linear Arithmetic