Calcul en logique du premier ordre
By: Yves Bouchard
Publisher: Presses de l'Université du Québec
Published: 2015
Place of publication: Québec (Québec)
Language: fre
Number of pages: 288
ISBN-13: 9782760542099
Subjects: Propositional calculus; First-order logic
Notes: Includes bibliographical references (pages [279]-283 and index.