Mezghiche, Mohamed2022-04-252022-04-252021978-9947-34-087-5https://dspace.univ-boumerdes.dz/handle/123456789/7990frMathématique et calculabilitéInformatiqueLogique mathématique et calculabilité : cours TD avec corrigésBook