A. Weir

发表

S. Shapiro, A. Weir, 2007 .

A. Weir, 2013 .

Alan Weir, A. Weir, 2015, The Review of Symbolic Logic.

P. Snowdon, M. Martin, C. Travis, 2002 .

Alan Weir, A. Weir, 2003, Notre Dame J. Formal Log..

Stewart Shapiro, Alan Weir, S. Shapiro, 2000 .

Stewart Shapiro, Alan Weir, S. Shapiro, 1999 .