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

Publisher City : Louvain ; Paris

Publisher country : France

Language : French

Edition nb : 2e éd.

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

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

Nb in series : 0001

Location : Ouvrage RdC (BETH)

Notes : Don G. Julia

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies