As a student of the brilliant Vincent Rushkin, Isabelle discovered she could paint images so real they brought her dreams to life. But when the forces she unleashed brought tragedy to those she loved, she turned her back on it all. Now, 20 years later, Isabelle must come to terms with the memories and unlock the power of her brush.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
Added by: Kahena | Karma: 11526.37 | Fiction literature | 7 November 2010
4
Pretend You Don't See Her
Real estate agent Lacey Farrell witnesses the murder of a client, Isabelle Waring, in an expensive show home, and just before dying Isabelle tells Lacey that she thinks her killer, psychotic assassin "Curtis Caldwell", is after her late daughter's journal.The novel is based on how the cops find out who assigned Caldwell to kill Isabelle and her daughter with the help of Lacey Farrell.
