On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis

On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis

Annotation

Saved in:

Bibliographic Details
Main Author:	Safarik, Pavol
Format:	eBook
Language:	English
Published:	Berlin : Logos Verlag Berlin, 2014.
Subjects:	Proof theory. Proof theory
Online Access:	Click for online access

Login for hold information

‌

Click for online access

Online

Holdings details from Online
Status:	Available