Mathematical Logic and Theoretical Computer Science - [Version Originale]