Gordon, Michael J. C.,  1948- <br/><br/>
Edinburgh LCF :  a mechanised logic of computation / 
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. 
 - Berlin :  Springer-Verlag,  1979. 
 - viii, 159 p. ;  24 cm. 
 - Lecture notes in computer science  78. .
 - Lecture notes in computer science  78. .
<br/><br/>Includes bibliographical references (p. [153]-157) and index. 
<br/><br/><label>ISBN: </label>0387097244 (pbk.) 
<br/><br/><label>LCCN: </label>79-24745 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Edinburgh LCF (Computer system).<br/>Computable functions--Data processing.