Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul

Enregistré dans:
Détails bibliographiques
Auteur principal : Lassaigne Richard
Format : Livre
Langue : français
Titre complet : Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul / Richard Lassaigne, Michel de Rougemont
Publié : Paris : Hermès , 1993
Description matérielle : VIII-248 p.
Collection : Traité des nouvelles technologies. Série Informatique. ; 1993
Sujets :
Logique mathématique
Description
Notes : Bibliogr. p. 239-241. Index
ISBN : 2-86601-380-8