GOLDIN Dina, SMOLKA Scott A., WEGNER Peter

Interactive Computation the New Paradigm

Springer, 2006. 9783540346661. 1st edn. Tall 8vo. Original laminated pictorial boards (Fine), no dustwrapper. Pp. xiv + 487, illus with 84 figures (previous owner's neat inscription on front free endpaper). .

Rothwell & Dunworth LtdProfessional seller

Book number: 184725

Catalogue: Mathematics

Keywords: Mathematics

PAULSON, LAWRENCE C.

Logic and Computation: Interactive Proof with Cambridge Lcf

Cambridge University Press. 1990. (ISBN: 9780521395601). Paperback, 9.4 x 6.7 x 0.4 inches. Paperback - 1990 - good condition - - used books, secondhand books, out of print books, hard to find books, for sale, second-hand books, college books, student books, nonfiction, first edition, exlibrary books sold, signed copies, non-fiction books delivered world wide. 0-521-39560-7. Isbn 0-521395607. Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. Used: Acceptable.

Lady Lisa's BookshopProfessional seller

Book number: 9744

Catalogue: Logic and Computation

Keywords: 9780521395601