Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Programming languages and applied logic

Results

Filter
Current filters
Refine results

Results

Per Page 1 – 2 of 2
✕
Semantics and Logics of Computation
Semantics and Logics of Computation
Andrew M. Pitts
(+1 other) Andrew M. Pitts
P. Dybjer
August 2009
9780511835889
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$55.00
Buy eBook
✕
Semantics and Logics of Computation
Semantics and Logics of Computation
Andrew M. Pitts
(+1 other) Andrew M. Pitts
P. Dybjer
August 2009
9780521118460
Available
Paperback
$55.00
✕
Semantics and Logics of Computation
Semantics and Logics of Computation
Andrew M. Pitts
(+1 other) Andrew M. Pitts
P. Dybjer
February 1997
9780521580571
Available
Hardback
$160.00
✕
Higher Order Operational Techniques in Semantics
Higher Order Operational Techniques in Semantics
Andrew D. Gordon
(+1 other) Andrew D. Gordon
Andrew M. Pitts
February 1998
9780521631686
Available
Hardback
$114.00
Per Page 1 – 2 of 2

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
alerts banner

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services