Bouchard, Y. (2016). Calcul en logique du premier ordre. Canadian Electronic Library.
Cita Chicago Style (17a ed.)Bouchard, Yves. Calcul En Logique Du Premier Ordre. Ottawa, Ontario: Canadian Electronic Library, 2016.
Cita MLA (8a ed.)Bouchard, Yves. Calcul En Logique Du Premier Ordre. Canadian Electronic Library, 2016.
Precaución: Estas citas no son 100% exactas.