This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Have an account?Sign in

Programming with Higher-Order Logic

Dale Miller,Gopalan Nadathur

Buy the eBook

Save 20 %List Price: $73.95 CAD.$59.19CAD

You are in the Canada store

Not in Canada? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Earn Kobo Super Points

Get it for 30400 Kobo Super Points by becoming a VIP MemberLearn more

Learn About Price Matching

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781139506298
Release date:May 30, 2013
Publisher:Cambridge University Press

Imprint:Cambridge University Press
File format:EPUB2
File size:3.34 MB
Download options:EPUB2 (Adobe DRM)

Did you like the book?

Be the first to rate and review this book!

This is our Canada store.

eBooks

Audiobooks

eReaders

Apps

What is Kobo Super Points?

Reward Yourself

Programming with Higher-Order Logic

Why read with us?

Synopsis

About this book

Did you like the book?

eBooks

Audiobooks

Why read with us?

Did you like the book?

This is our Canada store.

Programming with Higher-Order Logic

Why read with us?

Synopsis

About this book

Book details

How to read

Did you like the book?

eBooks

Audiobooks

Why read with us?

Did you like the book?

Latest Blog Posts