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
Title: Introduction à la logique : théorie de la démonstration
Authors: René, David
Karim, Nour
Christophe, Raffalli
Keywords: Logique symbolique et mathématique : manuels d'enseignement supérieur
Théorèmes : démonstration automatique : manuels d'enseignement supérieur
Logique intuitionniste
Issue Date: 2003
Publisher: Dunod
Series/Report no.: Sciences sup, ISSN 1636-2217;
Description: XIII-352 p.: ill.; 24 cm
URI: https://di.univ-blida.dz/jspui/handle/123456789/36452
ISBN: 2100067966
Appears in Collections:Livres

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


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