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 |
id |
doaj-c328e010c2854284b31d2b9757a74c35 |
---|---|
record_format |
Article |
spelling |
doaj-c328e010c2854284b31d2b9757a74c352020-11-24T20:57:12ZengJournal of Logic and AnalysisJournal of Logic and Analysis1759-90082012-06-014010.4115/jla.v4i0.157Fixed point theorems in constructive mathematicsMatthew Hendtlasshttp://www.logicandanalysis.org/index.php/jla/article/view/157 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Matthew Hendtlass |
spellingShingle |
Matthew Hendtlass Fixed point theorems in constructive mathematics Journal of Logic and Analysis |
author_facet |
Matthew Hendtlass |
author_sort |
Matthew Hendtlass |
title |
Fixed point theorems in constructive mathematics |
title_short |
Fixed point theorems in constructive mathematics |
title_full |
Fixed point theorems in constructive mathematics |
title_fullStr |
Fixed point theorems in constructive mathematics |
title_full_unstemmed |
Fixed point theorems in constructive mathematics |
title_sort |
fixed point theorems in constructive mathematics |
publisher |
Journal of Logic and Analysis |
series |
Journal of Logic and Analysis |
issn |
1759-9008 |
publishDate |
2012-06-01 |
url |
http://www.logicandanalysis.org/index.php/jla/article/view/157 |
work_keys_str_mv |
AT matthewhendtlass fixedpointtheoremsinconstructivemathematics |
_version_ |
1716788508757065728 |