Logique : fondements et applications

Enregistré dans:
Détails bibliographiques
Auteur principal: Le Barbenchon, Pierre (1996-....). (Auteur)
Autres auteurs: Pinchinat, Sophie (1964-....; auteure en informatique). (Auteur), Schwarzentruber, François (1982-....).
Support: E-Book
Langue: Français
Publié: Malakoff : Dunod.
Sujets:
Autres localisations: Voir dans le Sudoc
Résumé: "Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique
Accès en ligne: Accès à l'E-book
LEADER 02480cmm a2200481 i 4500
001 ebook-276403266
005 20240323013936.0
007 cu|uuu---uuuuu
008 240315s2022||||fr ||||g|||| ||||||fre d
020 |a 9782100839513 
035 |a (OCoLC)1427971116 
035 |a FRCYB88950233 
035 |a FRCYB07488950233 
035 |a FRCYB084688950233 
035 |a FRCYB087888950233 
035 |a FRCYB26088950233 
035 |a FRCYB55488950233 
035 |a FRCYB55988950233 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a fre  |2 639-2 
082 0 |a 511.3  |2 23 
100 1 |0 (IdRef)24888574X  |1 http://www.idref.fr/24888574X/id  |a Le Barbenchon, Pierre  |d (1996-....).  |4 aut.  |e Auteur 
245 1 0 |a Logique :  |b fondements et applications   |c Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber. 
264 1 |a Malakoff :  |b Dunod. 
264 2 |a Paris :  |b Cyberlibris,  |c 2022. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Couverture (https://static2.cyberlibris.com/books_upload/136pix/9782100839513.jpg). 
500 |a Licence 2/3, classes prépa, agrégation. 
504 |a Bibliographie p. [275]-280. Dictionnaire des synonymes. Index. 
506 |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement  |e Cyberlibris 
520 |a "Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique 
650 7 |0 (IdRef)027662799  |1 http://www.idref.fr/027662799/id  |a Logique mathématique.  |2 ram 
655 7 |0 (IdRef)03020934X  |1 http://www.idref.fr/03020934X/id  |a Manuels d'enseignement supérieur.  |2 ram 
700 1 |0 (IdRef)097578754  |1 http://www.idref.fr/097578754/id  |a Pinchinat, Sophie  |d (1964-....;   |c auteure en informatique).  |4 aut.  |e Auteur 
700 1 |0 (IdRef)158488911  |1 http://www.idref.fr/158488911/id  |a Schwarzentruber, François  |d (1982-....).  |4 aut.  |e Auteur 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88950233  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 276403266