Re: [isabelle] Question Posed: Where is a good place to learn about HOL?
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: Re: [isabelle] Question Posed: Where is a good place to learn about HOL?
- From: Jens Doll <jd at cococo.de>
- Date: Sat, 02 Jun 2012 14:19:29 +0200
- In-reply-to: <firstname.lastname@example.org>
- References: <email@example.com>
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0.1) Gecko/20120208 Thunderbird/10.0.1
let me answer the subject partially: Besides of real world understanding
and learning by oneself there also some books which could help you
clarify your (an other people's) thinking. The basic ones are listed at
and are structured in a certain way. Sorry for missing translations ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and