Fondements de l'Informatique: Logique, modèles, calculs

INF 412







Recent Changes- Printable Version - Search:



 

Foundations of computer science: Logic, models, computations

THE VERSION 2020 IS ONLINE!!

 The document in one file in English

Chapter by chapter in English:

Thanks

Many thanks to all who point out, or pointed out, some mistakes. Even comments about my english are welcome.

bournez@lix.polytechnique.fr

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on July 22, 2020, at 10:47 AM