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 http://cococo.de/Context_IT_GmbH/index.jsp?content=columbo&detail=literatur and are structured in a certain way. Sorry for missing translations ...

Jens






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.