Graduate studies at Western
Cambridge University Press (1987)
|Abstract||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.|
|Keywords||Cambridge LCF (Computer system Computable functions Data processing|
|Categories||categorize this paper)|
|Buy the book||$6.03 used (92% off) $48.52 new (30% off) $62.10 direct from Amazon (10% off) Amazon page|
|Call number||QA9.59.P38 1987|
|ISBN(s)||0521346320 0521395607 9780521395601|
|Through your library||Configure|
Similar books and articles
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.
Howard H. Harriott (1996). Essay Review. History and Philosophy of Logic 17 (1-2):223-240.
Nigel Cutland (1980). Computability, an Introduction to Recursive Function Theory. Cambridge University Press.
Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.
S. B. Cooper & Andrea Sorbi (eds.) (2011). Computability in Context: Computation and Logic in the Real World. World Scientific.
Arto Salomaa (1985). Computation and Automata. Cambridge University Press.
Added to index2009-01-28
Total downloads7 ( #142,564 of 740,441 )
Recent downloads (6 months)1 ( #61,957 of 740,441 )
How can I increase my downloads?