Richard S. Williams

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Stanley S. Wainer, Richard S. Williams: Inductive definitions over a predicative arithmetic. Ann. Pure Appl. Logic 136(1-2): 175-188 (2005)

2005
1	EE	Stanley S. Wainer, Richard S. Williams: Inductive definitions over a predicative arithmetic. Ann. Pure Appl. Logic 136(1-2): 175-188 (2005)

Coauthor Index