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

Auteur(s) : Lassaigne, Richard. Auteur du texte  Voir les notices liées en tant qu'auteur
Rougemont, Michel de  Voir les notices liées en tant qu'auteur

Titre(s) : Logique et fondements de l'informatique [Texte imprimé] : logique du 1er ordre, calculabilité et lambda-calcul / Richard Lassaigne, Michel de Rougemont

Publication : Paris : Hermès, 1993

Impression : Impr. en Grande-Bretagne

Description matérielle : VIII-248 p. : ill. ; 24 cm

Collection : Traité des nouvelles technologies. Série Informatique, ISSN 0993-5037

Lien à la collection : Traité des nouvelles technologies. Série Informatique  Voir toutes les notices liées

Note(s) : Bibliogr. p. 239-241. Index

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 511.35 (23e éd.) = Théorie de la récursivité  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 2-86601-380-8 (br.) : 250 F

Identifiant de la notice  : ark:/12148/cb356019077

Notice n° :  FRBNF35601907