Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Proceedings of symposia in pure mathematics , 0005
Localisation : Collection 1er étage
ambiguité et paradoxe # calculateur digital # fonction récursive # forme de négation de prédicat # générateur de suite # hiérarchie # isol # langage mécanique # machine de Turing universelle # mathématique intuitioniste # modèle non-standard # programme informatique # système de Post Tag # système formel # théorie des nombres # vérification de preuve mathématique
03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 74 p.
Collection de logique mathématique série A , 0022
Localisation : Disparu;Ouvrage RdC (DEKK)
fonction combinatoire # isol # logique mathématique
03D50 ; 05A10
... Lire [+]