ECON 381 SC Foundations Of Economic Analysis 2009 John Hillas and Dmitriy Kvasov University of Auckland Contents Chapter 1. Logic, Sets, Functions, and Spaces 1 1. Logic…
The Haskell Road to Logic, Math and Programming Kees Doets and Jan van Eijck March 4, 2004 Contents Preface 1 Getting Started 1.1 Starting up the Haskell Interpreter . .…