Semantics and Logics of Computation pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

Edited by Andrew M. Pitts, University of Cambridge , P. Dybjer, Chalmers University of Technology, Gothenberg

出版者:Cambridge University Press

作者:Pitts, Andrew M. (EDT)/ Dybjer, Peter (EDT)

出品人:

页数:376

译者:

出版时间:2009-8

价格:$ 63.28

装帧:

isbn号码:9780521118460

丛书系列:Publications of the Newton Institute

图书标签:

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.