Normal view MARC view ISBD view

Computability and logic [] / George S. Boolos,... Richard C. Jeffrey,...

Auteur principal : Boolos, George, 1940-1996Co-auteur : Jeffrey, Richard Carl, 1926-2002, AuteurMention d'édition : 3e ed.Publication :Cambridge, New York (N.Y.) : Cambridge university press, 1989Description : 1 vol. (X-304 p.) : ill. ; 24 cmISBN : 0-521-38026-X ; 0-521-38923-2.Dewey: 511.3Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Fonctions calculables ;Logique symbolique et mathématique ;Fonctions récursives Sujet : ARITHMETIQUE ;CALCULABILITE ;FONCTION RECURSIVE ;MACHINE DE TURING ;LOGIQUE Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-043 Sur demande CRI00558D

Notes bibliogr. Index

Powered by Koha

//]]>