Gordon, Michael J. C.
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Berlin : Springer-Verlag , cop. 1979 . - VIII, 159 p. ; 25 cm. - (Lecture notes in computer science) ; 78
ISBN 3-540-09724-4
Computação
Lógica
LCC QA76
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Berlin : Springer-Verlag , cop. 1979 . - VIII, 159 p. ; 25 cm. - (Lecture notes in computer science) ; 78
ISBN 3-540-09724-4
Computação
Lógica
LCC QA76