Calcul en logique du premier ordre
An edition of Calcul en logique du premier ordre (2015)
By Yves Bouchard
Publish Date
2015
Publisher
Presses de l'Université du Québec
Language
fre
Pages
288
Description:
subjects: Propositional calculus, First-order logic