Henry Towsner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

2 EE Henry Towsner: Epsilon substitution for transfinite induction. Arch. Math. Log. 44(4): 397-412 (2005)

2004

1 EE Henry Towsner: A realizability interpretation for classical analysis. Arch. Math. Log. 43(7): 891-900 (2004)

2005
2	EE	Henry Towsner: Epsilon substitution for transfinite induction. Arch. Math. Log. 44(4): 397-412 (2005)
2004
1	EE	Henry Towsner: A realizability interpretation for classical analysis. Arch. Math. Log. 43(7): 891-900 (2004)