Articoli correlati a Semantics and Logics of Computation

Semantics and Logics of Computation - Rilegato

 
9780521580571: Semantics and Logics of Computation

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull'autore

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.