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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne ; États-Unis

Language : English

EAN13 : 9780387121734

ISBN : 0-387-12173-0

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

Series : Ergebnisse der mathematik und ihrer grenzgebiete 3 folge

Nb in series : 0006

Location : Ouvrage RdC (BEES)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies