Join Books.org — it's free

Computers & the Internet, Data Processing
Semantics and Logics of Computation by Andrew M. Pitts β€” book cover

Semantics and Logics of Computation

by Andrew M. Pitts (Editor), P. Dybjer
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Synopsis

Summer school lecture courses on modern logic and computation are presented here.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
April 1, 2007
Publisher
Cambridge University Press
Format
Hardcover
ISBN
9780521580571

More by Andrew M. Pitts

Similar books