Matti's CS Notebook

1. The foundations logic and proofs