Here is the text.
http://www.ditext.com/tarski/tarski.html
Robert Paul ------------------------------------------------------------------ To change your Lit-Ideas settings (subscribe/unsub, vacation on/off, digest on/off), visit www.andreas.com/faq-lit-ideas.html