logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

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

Pays d'édition : Allemagne ; États-Unis

Langue : Anglais

EAN13 : 9780387121734

ISBN : 0-387-12173-0

Collation : 25 cm#rel. ; Bibliogr. ; Index ; xxiii

Collection : Ergebnisse der mathematik und ihrer grenzgebiete 3 folge

N° de collection : 0006

Localisation : Ouvrage RdC (BEES)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires