Daniel J. Velleman

2006
2	EE	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]