found: 2 books

 GOLDIN Dina, SMOLKA Scott A., WEGNER Peter, Interactive Computation the New Paradigm
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
GBP 40.00 [Appr.: EURO 46 US$ 53.99 | JP¥ 7933]
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
GBP 46.76 [Appr.: EURO 53.75 US$ 63.12 | JP¥ 9274]
Keywords: 9780521395601

| Pages: 1 |