Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 466 p.
ISBN 978-0-387-12173-4
Ergebnisse der mathematik und ihrer grenzgebiete 3 folge , 0006
Localisation : Ouvrage RdC (BEES)
logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique
03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60
... Lire [+]
