Introduction à la logique : théorie de la démonstration

René, David; Karim, Nour; Christophe, Raffalli

dc.contributor.author	René, David
dc.contributor.author	Karim, Nour
dc.contributor.author	Christophe, Raffalli
dc.date.accessioned	2025-01-26T14:06:32Z
dc.date.available	2025-01-26T14:06:32Z
dc.date.issued	2003
dc.identifier.isbn	2100067966
dc.identifier.uri	https://di.univ-blida.dz/jspui/handle/123456789/36452
dc.description	XIII-352 p.: ill.; 24 cm	fr_FR
dc.language.iso	fr	fr_FR
dc.publisher	Dunod	fr_FR
dc.relation.ispartofseries	Sciences sup, ISSN 1636-2217;
dc.subject	Logique symbolique et mathématique : manuels d'enseignement supérieur	fr_FR
dc.subject	Théorèmes : démonstration automatique : manuels d'enseignement supérieur	fr_FR
dc.subject	Logique intuitionniste	fr_FR
dc.title	Introduction à la logique : théorie de la démonstration	fr_FR
dc.type	Book	fr_FR