m

F Nous contacter

0
     
Congrès

H 0 Recursive function theory
proceedings of the fifth symposium held at the Hotel New Yorker
April 6-7

Dekker, J. C. E. (Principal)

American Mathematical Society

1979

00017910

03D20 ; 03D55 ; 03Dxx ; 03F55 ; 03Hxx

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

Ville d'édition : Providence ; R.I.

Pays d'édition : États-Unis

Langue : Anglais

N° édition : 3rd print

Collation : 247 p. ; 26 cm ; Bibliogr. ; broch. ; Index ; photogr.

Collection : Proceedings of symposia in pure mathematics

N° de collection : 0005

Localisation : Collection 1er étage

Année de la rencontre : 1961

Ville du congrès : New-York

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00017910 [disponible]
Z