, School of Mathematics and Applied Statistics, University of Wollongong

• The Australasian Journal of Logic Vol. 8 (2011): Australasian Journal of Logic - Articles
  The D-Completeness of T→
  Abstract  PDF