Daniel J. Velleman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Daniel J. Velleman: Variable declarations in natural deduction. Ann. Pure Appl. Logic 144(1-3): 133-146 (2006)

2001

1 Christopher Hardin, Daniel J. Velleman: The Mean Value Theorem in Second Order Arithmetic. J. Symb. Log. 66(3): 1353-1358 (2001)

	2006
2		Daniel J. Velleman: Variable declarations in natural deduction. Ann. Pure Appl. Logic 144(1-3): 133-146 (2006)
	2001
1		Christopher Hardin, Daniel J. Velleman: The Mean Value Theorem in Second Order Arithmetic. J. Symb. Log. 66(3): 1353-1358 (2001)

Coauthor Index

1 Christopher Hardin (Chris Hardin) [1]