Fixed point theorems in constructive mathematics
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Journal of Logic and Analysis
2012-06-01
|
Series: | Journal of Logic and Analysis |
Online Access: | http://www.logicandanalysis.org/index.php/jla/article/view/157 |