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

INF 412







Recent Changes- Printable Version - Search:



 

Foundations of computer science: Logic, models, computations

THE VERSION 2022 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 06, 2022, at 03:52 PM