Recherche avancéePréférences

1 - Extensional Gödel functional interpretation : a consistency proof of classical analysis Luckhardt, Horst Cote : [05 LUC 73]

Nombre de résultats : 1