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

Publisher City : Berlin ; Heidelberg ; N.Y.

Language : French

EAN13 : 9783540095019

ISBN : 3-540-09501-2

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

Series : Lecture notes in mathematics

Nb in series : 0718

Location : Collection 1er étage

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies