Result: Semantics and logics of computation

*Title*:

Semantics and logics of computation / ed. by Andrew M. Pitts ...

*Author/editor-in-chief*:

*Publication*:

Cambridge : Cambridge University Press, 1997

*Physical description scale*:

XII, 361 Seiten : Diagramme

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0521580579

*Result*: Semantics and logics of computation