aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

Ville d'édition : Louvain ; Paris

Pays d'édition : France

Langue : Français

N° édition : 2e éd.

Collation : 25 cm#broch. ; Bibliogr. ; Index ; xv

Collection : Collection de logique mathématique séries a

N° de collection : 0001

Localisation : Ouvrage RdC (BETH)

Notes : Don G. Julia

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires