Fixed point theorems in constructive mathematics

Bibliographic Details
Main Author: Matthew Hendtlass
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