1999, Cambridge University Press, 312 pages, 9 chapters and bibliography
Abstract:
This book on the mathematics practical foundations contains a presentation of the foundations of mathematics, however, limited mostly to algebra and theoretical computer science, from a current constructive viewpoint. It discusses the "use of (Boolean) logic underlying mathematical constructions and its abstract study in disciplines such as the lambda calculus, predicate calculus, type theory and universal algebra"; however, contains very little of the domain theory, but "it does treat the fundamental issues of the semantics of programming languages" as well as quantifiers, indexed and fibered categories, as well as the category of contexts, universes and Cartesian closed categories. Free download on line at : http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/index.html http://www.freetechbooks.com/practical-foundations-of-mathematics-t359
Rights:
http://www.freetechbooks.com/practical-foundations-of-mathematics-t359.html verbatim Copyright statement :"All the books listed in this site are freely available, as they are hosted on websites that belong to the authors or the publishers."
