Goodreads Choice Awards 2025

Logic and Computation > Editions

collapse details

by Lawrence C. Paulson First published October 15th 1987

Sort by
Format
Language
Editions
Showing 1-7 of 7
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Published October 30th 1987 by Cambridge University Press
F First Edition, Hardcover, 320 pages
Author(s):
ISBN:
9780521346320 (ISBN10: 0521346320)
ASIN:
0521346320
Edition language:
English
Average rating:
4.50 (4 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF (Paperback)
Published July 27th 1990 by Cambridge University Press
Paperback, 320 pages
Author(s):
ISBN:
9780521395601 (ISBN10: 0521395607)
ASIN:
0521395607
Edition language:
English
Average rating:
3.00 (1 rating)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (2008-08-21)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (2008-08-21)
Published by Cambridge University Press
Paperback, 0 pages
Author(s):
ASIN:
B01K0UUOZK
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (1987-10-15)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (1987-10-15)
Published by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B01K0TEMFO
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (1987-10-30)
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) by Lawrence C. Paulson (1987-10-30)
Published by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B01K3NT10S
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logic and Computation: Interactive Proof With Cambridge LCF
Logic and Computation: Interactive Proof With Cambridge LCF (Paperback)
Published January 1st 2003 by Cambridge Univ Press. Cambridge, UK. 2003 (Transferred to digital printing).
Paperback, 0 pages
Author(s):
ASIN:
B003QA0H8G
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
logic-and-computation
logic-and-computation (Paperback)
Published January 1st 2015
Paperback, 0 pages
Author(s):
ASIN:
B01CMUOBWI
Edition language:
English
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page