Among the many topics brought up in the thread on comparison procedures were relations, statements being "vacuously true", ordered fields, etc. All these topics are either taught explicitly in an early course for undergraduate math majors or it is assumed assumed that somehow the students picked up those things on their way to the first course in real analysis.
There's a e-book in PDF form that covers those topics (among others) at the web site http://www.trillia.com/zakon1.html I started this site and produced the books published there. If you don't like this book, you might like one of the competitor's books listed on that page. Brad _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
