Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 172 p.
ISBN 978-1-56881-238-0
Localisation : Ouvrage RdC (TORK)
logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel
03-01 ; 03F30 ; 03F40
... Lire [+]