Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 267 p.
ISBN 978-0-521-76065-2
Lecture notes in logic
Localisation : Colloque 1er étage (WROC)
logique mathématique # théorie de la preuve # logique formelle
03-06 ; 03Fxx ; 00B25
... Lire [+]