Hannes Diener

	2009
3		Hannes Diener, Iris Loeb: Sequences of real functions on [0, 1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1): 50-61 (2009)
	2008
2		Hannes Diener: Generalising compactness. Math. Log. Q. 54(1): 49-57 (2008)
	2006
1		Douglas S. Bridges, Hannes Diener: A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52(5): 464-469 (2006)

Coauthor Index

1	Douglas S. Bridges	[1]
2	Iris Loeb	[3]

Colors in the list of coauthors