- Author: Sag I.A. Wasow T. Bender E.M.
- Language: English
- Year: 2003
- Author: Henriëtte de Swart
- Language: English
- Year: 1998
- Author: Bill Keller
- Language: English
- Year: 1993
- Author: Bill Keller
- Language: English
- Year: 1993
- Author: Allen W. Wood
- Language: English
- Year: 2002
- Author: John Maxwell III Ronald M. Kaplan Mary Dalrymple Annie Zaenen
- Language: English
- Year: 1994
- Author: Allen W. Wood
- Language: English
- Year: 2002
- Author: Geoffrey Nunberg
- Language: English
- Year: 1990
Hyperproof
pdf
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 1994
- Author: Donald E. Knuth
- Language: English
- Year: 2002