Gordon, Michael J. C.,  1948- <br/><br/>
Edinburgh LCF :  a mechanised logic of computation / 
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. 
 -  Springer-Verlag,  1979. 
 - viii, 159 p. ;  24 cm. 
 - Lecture notes in computer science ;  78 .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [153]-157. 
<br/><br/><label>ISBN: </label>0387097244 
<br/><br/><label>LCCN: </label>79024745  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Edinburgh LCF (Computer system)<br/>Computable functions--Data processing.
<br/><br/><label>Subjects--Index Terms: </label>საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები კომპიუტერული სისტემების პროგრამული უზრუნველყოფა პროგრამირების ენები 
<br/><br/><label>LC Class. No.: </label>QA9.59  / .G67 
<br/><br/><label>Dewey Class. No.: </label>510/.8 s  001.6/4 
<br/><br/><label>Universal Decimal Class. No.: </label>004.43