Browse all works related to Hyperproof -- logique.
by Barwise, Jon, Etchemendy, John
fromCLSI lecture notes
