Edinburgh LCF > Editions

by M. Gordon First published December 1st 1979

Sort by
Format
Language
Editions
Showing 1-3 of 3
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Published December 1st 1979 by Springer
1979, Paperback, 169 pages
Author(s):
ISBN:
9783540097242 (ISBN10: 3540097244)
ASIN:
3540097244
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
Published 1979 by Springer
1979, Paperback, 0 pages
Author(s):
ASIN:
B011DCE6FI
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Edinburgh LCF: A Mechanized Logic of Computation
Edinburgh LCF: A Mechanized Logic of Computation (Paperback)
Published March 12th 2014 by Springer
Paperback, 172 pages
Author(s):
ISBN:
9783662166789 (ISBN10: 366216678X)
ASIN:
366216678X
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page