Proof Checking Metamathematics. University of Texas at Austin (1986)

by N Shankar
Venue:Computational Logic, Inc., Suite 290, 1717 West Sixth