David Ballard

Publication Activity (10 Years)

Years Active: 1985-1998
Publications (10 Years): 0

Publications

David Ballard, William Boshuck
Definability and Descent. J. Symb. Log. 63 (2) (1998)
David Ballard, Karel Hrbacek
Standard Foundations for Nonstandard Analysis. J. Symb. Log. 57 (2) (1992)
David Ballard
Combinatory completeness without classical equality. J. Philos. Log. 17 (2) (1988)
David Ballard
Independence in higher-order subclassical logic. Notre Dame J. Formal Log. 26 (4) (1985)