![Logique et fondements de l'informatique - logique du 1er ordre, calculabilité et lambda-calcul: Lassaigne, Richard, Rougemont, Michel de: 9782866013806: Amazon.com: Books Logique et fondements de l'informatique - logique du 1er ordre, calculabilité et lambda-calcul: Lassaigne, Richard, Rougemont, Michel de: 9782866013806: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/41dpvUwHwCL._SX327_BO1,204,203,200_.jpg)
Logique et fondements de l'informatique - logique du 1er ordre, calculabilité et lambda-calcul: Lassaigne, Richard, Rougemont, Michel de: 9782866013806: Amazon.com: Books
![PDF) Cours de Logique mathématique 2eme année Maths et Informatique | Sofiane Meghazi - Academia.edu PDF) Cours de Logique mathématique 2eme année Maths et Informatique | Sofiane Meghazi - Academia.edu](https://0.academia-photos.com/attachment_thumbnails/58022606/mini_magick20190110-31429-xoubbc.png?1547110265)
PDF) Cours de Logique mathématique 2eme année Maths et Informatique | Sofiane Meghazi - Academia.edu
![Logique pour l'informatique: Introduction à la déduction automatique – Cours et exercices: Cerrito, Serenella: 9782711720699: Amazon.com: Books Logique pour l'informatique: Introduction à la déduction automatique – Cours et exercices: Cerrito, Serenella: 9782711720699: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/41oTK47IfTL._SX351_BO1,204,203,200_.jpg)
Logique pour l'informatique: Introduction à la déduction automatique – Cours et exercices: Cerrito, Serenella: 9782711720699: Amazon.com: Books
![Logique pour l'informatique (Références sciences): Jaume, Mathieu, Journault, Matthieu, Lesot, Marie-Jeanne, Manoury, Pascal, Mounier, Isabelle, de Laboulaye, Paul: 9782340042612: Amazon.com: Books Logique pour l'informatique (Références sciences): Jaume, Mathieu, Journault, Matthieu, Lesot, Marie-Jeanne, Manoury, Pascal, Mounier, Isabelle, de Laboulaye, Paul: 9782340042612: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/41YbHNdyR7L.jpg)
Logique pour l'informatique (Références sciences): Jaume, Mathieu, Journault, Matthieu, Lesot, Marie-Jeanne, Manoury, Pascal, Mounier, Isabelle, de Laboulaye, Paul: 9782340042612: Amazon.com: Books
![Logique et automates - Option informatique en MPSI, MP et MP* - Premier et deuxième cycles universitaires - Écoles d'ingénieurs: Bellot, Patrick, Sakarovitch, Jacques: 9782729868949: Amazon.com: Books Logique et automates - Option informatique en MPSI, MP et MP* - Premier et deuxième cycles universitaires - Écoles d'ingénieurs: Bellot, Patrick, Sakarovitch, Jacques: 9782729868949: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/51trAWZbL3L._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_PIStarRatingFIVE%2CBottomLeft%2C360%2C-6_SR600%2C315_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)