Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 405 p.
ISBN 978-0-7204-2259-7
Studies in logic and the foundations of mathematics , 0063
Localisation : Colloque 1er étage (OSLO)
théorie de la démonstration # forcing # arithmétique intuitionniste # machine de Turing # élimination coupure # décidabilité
03-06 ; 00B25
... Lire [+]