Besonderhede van voorbeeld: -2436530551425488964

English

(Finitist) consistency proof of the basic part of analysis (or secondorder functional calculus).

Spanish

>arte básica del análisis (o cálculo funcional de segundo orden).