Logique mathématique : vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats cours et exercices

Enregistré dans:
Détails bibliographiques
Auteur principal: Cori, René.
Autres auteurs: Lascar, Daniel., Krivine, Jean-Louis.
Support: Livre
Langue: Français
Publié: Paris ; Milan ; Barcelone : Masson, 1993.
Collection: Axiones
Sujets:

BU Sciences

  Localisation Cote Statut
désherbé Désherbé