Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83 based; site hounx.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!mhuxn!mhuxr!mhuxt!houxm!hounx!kort
From: kort@hounx.UUCP (B.KORT)
Newsgroups: net.jokes.d,net.misc
Subject: Re: Wanted: list of proof methodologies
Message-ID: <390@hounx.UUCP>
Date: Wed, 13-Nov-85 22:56:00 EST
Article-I.D.: hounx.390
Posted: Wed Nov 13 22:56:00 1985
Date-Received: Fri, 15-Nov-85 04:47:16 EST
References: <21@Cascade.ARPA>
Organization: AT&T Bell Labs, Holmdel NJ
Lines: 6
Xref: watmath net.jokes.d:1215 net.misc:8884

Try some of the books by Raymond Smullyan.  The one
entitled, "What is the Name of This Book?" has some
amusing proofs in it.  In fact, I recommend all of
Professor Smullyan's books, no matter what topic
you're interested in.  He seems to have refreshing
answers to every question that comes to mind.