-
1Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /by Gordon, Michael J. author., Milner, Arthur J. author., Wadsworth, Christopher P. author., SpringerLink (Online service)
Published 1979Texto bibliotecaCOLPOS -
2Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /by Gordon, Michael J. author., Milner, Arthur J. author., Wadsworth, Christopher P. author., SpringerLink (Online service)
Published 1979Texto bibliotecaCOLPOS
![Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /](/search/themes/bootstrap3/images/libros.png)