Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Wiesnet, Franziskus Wolfgang Josef"'
In this dissertation we discuss several forms of proof interpretation based on examples in algebra and analysis. Our main goal is the construction of algorithms or functions out of proofs - constructive proofs and classical proofs. At the beginning o
Externí odkaz:
http://hdl.handle.net/11572/313875
