Metabiology life as evolving software by g j chaitin
Arithmetic, Logic and Numbers
The Art of the Intelligible - Bell
Logic