Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science - M. Gordon - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540097242 - December 1, 1979
In case cover and title do not match, the title is correct

Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition

M. Gordon

Price
SEK 249

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition

161 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 1, 1979
ISBN13 9783540097242
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 161
Dimensions 155 × 235 × 9 mm   ·   249 g
Language English  
Show all

More by M. Gordon

See all of M. Gordon ( e.g. Paperback Book )