- 516 p.
Cote : 00004226
logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand
03-06 ; 03Bxx ; 03Fxx ; 00B25
Localisation : Colloque 1er étage (BUFF)