complexite # deductibilite # informatique theorique # logique # recessivite # systeme logique classique

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Langue : Français

EAN13 : 9783540095019

ISBN : 3-540-09501-2

Collation : 24 cm ; 243 p. ; Bibliogr. Pp. 234-238 ; broch. ; Index ; v

Collection : Lecture notes in mathematics

N° de collection : 0718

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires