Bibliographie du Québec

Bouchard, Yves, 1963-, auteur
Calcul en logique du premier ordre / Yves Bouchard. — Québec (Québec) : Presses de l'Université du Québec, [2015]. — 1 ressource en ligne (xiii, 288 pages).

Configuration requise : Adobe Digital Editions ou Bluefire Reader. — Comprend des références bibliographiques (pages 279-283) et un index. — Description d'après la notice de la version imprimée. — Version imprimée : Bouchard, Yves, 1963-. Calcul en logique du premier ordre. Québec : Presses de l'Université du Québec, 2015. — ISBN 9782760542099 (erroné) . — ISBN 9782760542105 (pdf).

Adresse électronique : http://collections.banq.qc.ca/ark:/52327/2434863, http://banq.pretnumerique.ca/accueil/isbn/9782760542105.

1. Calcul propositionnel 2. Calcul des prédicats 3. Logique du premier ordre 4. Livres numériques I. Titre.

511.3

QA9.3

4904714

Bouchard, Yves, 1963-, auteur
Calcul en logique du premier ordre / Yves Bouchard. — Québec (Québec) : Presses de l'Université du Québec, [2015]. — xiii, 288 pages ; 26 cm.

Comprend des références bibliographiques (pages 279-283) et un index. — ISBN 9782760542099.

1. Calcul propositionnel 2. Calcul des prédicats 3. Logique du premier ordre I. Titre.

511.3

QA9.3

4847125