A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories

03F35 Second- and higher-order arithmetic and fragments



Basic proof theory / Troelstra, A.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13412 03C02 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible