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

Average Rating

Author

Publisher

Logos Verlag

Publication Date

[2014]

Language

English

Description

Loading Description...

Also in this Series

Checking series information...

More Like This

Loading more titles like this title...

Subjects

Subjects

Electronic books
Proof theory

More Details

ISBN

9783832591601

Borrower Reviews

Reviews from GoodReads

Loading GoodReads Reviews.

Staff View

Loading Staff View.