On the extraction of computational content from noneffective convergence proofs in analysis / / Pavol Safarik.
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Berlin : : Logos Verlag,, [2014] 2014 |
Year of Publication: | 2014 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (164 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Proof theory / / Herman Ruge Jervell.
by: Jervell, Herman Ruge,
Published: ([2012]) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.) -
Godel's proof / Ernest Nagel and James R. Newman.
by: Nagel, Ernest,
Published: (2005.) -
Reverse Mathematics : : Proofs from the Inside Out / / John Stillwell.
by: Stillwell, John,
Published: ([2018]) -
Proof, logic, and formalization / edited by Michael Detlefsen.
Published: (1992.)