Mathematical logic for computer science

dc.contributor.author	Mordechai, Ben-Ari
dc.date.accessioned	2025-01-26T14:25:05Z
dc.date.available	2025-01-26T14:25:05Z
dc.date.issued	2001
dc.identifier.isbn	1852333197
dc.identifier.uri	https://di.univ-blida.dz/jspui/handle/123456789/36460
dc.description	XIV-304 p.: 24 cm	fr_FR
dc.language.iso	en	fr_FR
dc.publisher	Springer International Publishing	fr_FR
dc.subject	Informatique : Mathématiques	fr_FR
dc.subject	Logique symbolique et mathématique	fr_FR
dc.subject	Logique informatique	fr_FR
dc.title	Mathematical logic for computer science	fr_FR
dc.type	Book	fr_FR