BAnQ logo. BAnQ logo. À propos de BAnQ
Retour au portail de BAnQ.
Utilisateur non authentifié.

Bibliographie du Québec

Table des matièresIndex des vedettes-matièreIndex auteurs/titresIndex éditeurs

Calcul des prédicats


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.3QA9.34904714

Retour au début


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.3QA9.34847125