Kai F. Wehmeier

List of publications from the DBLP Bibliography Server - FAQ

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

1997

2 EE Kai F. Wehmeier: Fragments of HAHA based on S₁\Sigma_1-induction. Arch. Math. Log. 37(1): 37-49 (1997)

1996

1 Kai F. Wehmeier: Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37(3): 452-461 (1996)

1997
2	EE	Kai F. Wehmeier: Fragments of HAHA based on S₁\Sigma_1-induction. Arch. Math. Log. 37(1): 37-49 (1997)
1996
1		Kai F. Wehmeier: Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37(3): 452-461 (1996)