1. DSpace at My University blida 1
  2. Bibliothèque Universitaire Centrale
  3. Livres
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/36452
Full metadata record
DC FieldValueLanguage
dc.contributor.authorRené, David-
dc.contributor.authorKarim, Nour-
dc.contributor.authorChristophe, Raffalli-
dc.date.accessioned2025-01-26T14:06:32Z-
dc.date.available2025-01-26T14:06:32Z-
dc.date.issued2003-
dc.identifier.isbn2100067966-
dc.identifier.urihttps://di.univ-blida.dz/jspui/handle/123456789/36452-
dc.descriptionXIII-352 p.: ill.; 24 cmfr_FR
dc.language.isofrfr_FR
dc.publisherDunodfr_FR
dc.relation.ispartofseriesSciences sup, ISSN 1636-2217;-
dc.subjectLogique symbolique et mathématique : manuels d'enseignement supérieurfr_FR
dc.subjectThéorèmes : démonstration automatique : manuels d'enseignement supérieurfr_FR
dc.subjectLogique intuitionnistefr_FR
dc.titleIntroduction à la logique : théorie de la démonstrationfr_FR
dc.typeBookfr_FR
Appears in Collections:Livres

Files in This Item:
File Description SizeFormat 
2-511-33.pdf1,44 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.