- Author: Barwise J. Moss L.
- Language: English
- Year: 1996
- Author: A. M. Ungar
- Language: English
- Year: 1992
Literate Programming
djvu
- Author: Donald E. Knuth
- Language: English
- Year: 1992
- Author: Grigori Mints Reinhard Muskens
- Language: English
- Year: 2003
- Author: C. Anthony Anderson Joseph Owens
- Language: English
- Year: 1990
- Author: Grigori Mints Reinhard Muskens
- Language: English
- Year: 2003
- Author: Johan van Benthem
- Language: English
- Year: 1988
- Author: A. S. Troelstra
- Language: English
- Year: 1992
Hyperproof
djvu
- Author: Jon Barwise John Etchemendy
- Language: English
- Year: 1994
- Author: Mark Johnson
- Language: English
- Year: 1988