On the extraction of computational content from noneffective convergence proofs in analysis

Bibliographic Details
Main Author:	Safarik, Pavol (Author)
Format:	Book
Language:	English
Published:	Berlin Logos Verlag 2014
Subjects:	matematická analýza konvergencia (matematika) matematické dôkazy Mathematical analysis Mathematical proofs dizertácie Dissertations

Slovenská národná knižnica

Holdings details from Slovenská národná knižnica
Call Number:	snkSC 186480
Copy 17A1391554 snkSC 186480 Available for in-library use only