Image from Amazon.com
Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre
Language: French.Country: DZ.Publication: Ellipses, Paris : 2012Description: 209 P : Couv ill, Tabl ; 26 cmISBN: 9782729872298.Subject - Topical Name: Logique, syntaxe, déduction, circuit, logique fonction, dualité| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
مكتبة العلوم والتكنولوجيا | INF/012/3/09/001 (Browse shelf(Opens below)) | Available | LST/INF/012/3/09/001 | ||
|
Books
|
مكتبة العلوم والتكنولوجيا | INF/012/3/09/002 (Browse shelf(Opens below)) | Available | LST/INF/012/3/09/002 |
There are no comments on this title.
Log in to your account to post a comment.