Zu "proof mining" wurden 5 Produkte gefunden
HOME
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
139,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
On the extraction of computational content from noneffective convergence proofs in analysis
35,00 €*
Preise inkl. MwSt. zzgl. Versandkosten