An edition of Logic and Computation (1987)

Logic and Computation

Interactive Proof with Cambridge LCF

Lawrence C. Paulson, Lawrence ...

Locate

My Reading Lists:

Use this Work

When did you finish this book? 2025 Today Other

Check nearby libraries

Buy this book

Last edited by ImportBot

November 19, 2022 | History

Edit

An edition of Logic and Computation (1987)

This edition doesn't have a description yet. Can you add one?

Publish Date

2011

Publisher

Cambridge University Press

Language

English

Check nearby libraries

Buy this book

Edition	Availability
1 Logic and Computation: Interactive Proof with Cambridge LCF 2011, Cambridge University Press in English 0511873255 9780511873256	aaaa Locate
2 Logic and Computation: Interactive Proof with Cambridge LCF 1987, Cambridge University Press electronic resource : in English 0511526601 9780511526602	zzzz Locate