Identifiant
Mot de passe
+
Rechercher dans :
Indexé depuis
Options :
Recherche avancée
q
-A +A
Trier: Titre Auteurs Référence *Autre P Q
Congrès
- 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 [+]
Fenstad, J. E. [1]
00B25 [1]
03-06 [1]
Anglais [1]
OU
ET
OU / ET
