*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: Re: [isabelle] Question Posed: Where is a good place to learn about HOL?*From*: gottfried.barrow at gmx.com*Date*: Fri, 01 Jun 2012 15:30:18 -0500*In-reply-to*: <4FC914DB.7010602@gmx.com>*References*: <201204282058.q3SKw9NF008441@poisson.math.northwestern.edu> <CAFP4q14YwNi6RksUOkGNGWYYzkNi3ca92FH4kYW19kJeOBcT2Q@mail.gmail.com> <alpine.LNX.2.00.1204301125350.6594@macbroy21.informatik.tu-muenchen.de> <201205020207.q4227VoC013147@poisson.math.northwestern.edu> <4FA0A63C.7030904@jaist.ac.jp> <201205020409.q42497Ou014411@poisson.math.northwestern.edu> <4FA0BBE7.4060302@jaist.ac.jp> <201205030338.q433ciL9026861@poisson.math.northwestern.edu> <201205250512.q4P5Cgns004328@poisson.math.northwestern.edu> <alpine.LNX.2.00.1205251146380.8953@macbroy22.informatik.tu-muenchen.de> <201205270818.q4R8IUWm022240@poisson.math.northwestern.edu> <alpine.LNX.2.00.1205292251410.19391@macbroy22.informatik.tu-muenchen.de> <201205310412.q4V4CCrj014777@poisson.math.northwestern.edu> <4FC914DB.7010602@gmx.com>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 6/1/2012 2:15 PM, gottfried.barrow at gmx.com wrote:

---BEST BOOK I'VE FOUND SO FAR---"Principles of Mathematical Analysis, with a Friendly Introduction toNatural Deduction & Typed Lambda Calculus, and How to ImplementMathematical Proof in Isabelle2012, for the Working Mathematician, 4thEdition", by Walter Rudin (Amazon)

--GB

**References**:**[isabelle] Question Posed: Where is a good place to learn about HOL?***From:*gottfried . barrow

- Previous by Date: [isabelle] Question Posed: Where is a good place to learn about HOL?
- Next by Date: Re: [isabelle] Automation is awesome; one bibliography leads to another
- Previous by Thread: [isabelle] Question Posed: Where is a good place to learn about HOL?
- Next by Thread: Re: [isabelle] Question Posed: Where is a good place to learn about HOL?
- Cl-isabelle-users June 2012 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list