théorie de la preuve # théorie de la démontration # élimination des coupures # méthode CERES

Langue : Anglais

EAN13 : 9789400703193

Collation : 24 cm#rel.#bibliogr.#index

Collection : Trends in logic

N° de collection : 34

Localisation : Ouvrage RdC (BAAZ)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires