Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Smullyan, Raymond M. (1919-2017). Auteur du texte  Voir les notices liées en tant qu'auteur

Titre(s) : Théorie de la récursivité pour la métamathématique [Texte imprimé] / Raymond M. Smullyan,... ; trad. de l'anglais par Ph. Ithier,...

Traduction de : Recursion theory for metamathematics

Publication : Paris ; Milan ; Barcelone : Masson, 1995

Impression : Impr. en Belgique

Description matérielle : XI-163 p. : couv. ill. en coul. ; 24 cm

Collection : Logique mathématiques informatique, ISSN 0995-2179 ; 16

Lien à la collection : Logique mathématiques informatique  Voir toutes les notices liées

Note(s) : Fait suite à : "Les théorèmes d'incomplétude de Gödel", du même auteur. - Bibliogr. p. 158-159. Index

Autre(s) auteur(s) : Ithier, Philippe. Traducteur  Voir les notices liées en tant qu'auteur

Sujet(s) : Théorie de la récursivité  Voir les notices liées en tant que sujet
Métamathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 2-225-84860-2 (br.) : 235 F

Identifiant de la notice  : ark:/12148/cb357989801

Notice n° :  FRBNF35798980