Re: [isabelle] Question Posed: Where is a good place to learn about HOL?

Hello Gottfried,

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 MHonArc.