Goodreads Choice Awards Finalists 2025

Programming with Higher-Order Logic > Editions

by Dale Miller First published June 11th 2012

Sort by
Format
Language
Editions
Showing 1-5 of 5
Programming with Higher-Order Logic
Programming with Higher-Order Logic (Hardcover)
Published June 11th 2012 by Cambridge University Press
1, Hardcover, 320 pages
Author(s):
ISBN:
9780521879408 (ISBN10: 052187940X)
ASIN:
052187940X
Edition language:
English
Average rating:
3.25 (4 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Programming with Higher-Order Logic
Programming with Higher-Order Logic (Kindle Edition)
Published June 11th 2012 by Cambridge University Press
1, Kindle Edition, 321 pages
Author(s):
ISBN:
9781139506144 (ISBN10: 1139506145)
ASIN:
B009ZRNPZG
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
Programming with Higher-Order Logic by Dale Miller (2012-06-11)
Programming with Higher-Order Logic by Dale Miller (2012-06-11)
Published by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B01F81WWKG
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
Programming with Higher-Order Logic
Programming with Higher-Order Logic (Kindle Edition)
Published June 14th 2012 by Cambridge University Press
Kindle Edition, 320 pages
Author(s):
ISBN:
9781139512121 (ISBN10: 1139512129)
ASIN:
1139512129
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
Programming with Higher-Order Logic
Programming with Higher-Order Logic (Kindle Edition)
Published June 30th 2012 by Not Avail
Kindle Edition, 0 pages
Author(s):
ISBN:
9786613685476 (ISBN10: 661368547X)
ASIN:
661368547X
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