Semantics and Logics of Computation

Pitts, Andrew M. (Editor)/ Dybjer, P. (Editor)

ISBN 10: 0521118468 / ISBN 13: 9780521118460

Editore: Cambridge Univ Pr, 2009

Riguardo questo articolo

1st edition. 376 pages. 8.75x5.75x0.75 inches. In Stock. This item is printed on demand.

Codice articolo __0521118468

Dati bibliografici

• Titolo: Semantics and Logics of Computation
• Editore: Cambridge Univ Pr
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 0521118468
• ISBN 13: 9780521118460
• Rilegatura: Paperback
• Condizione: Brand New

Descrizione articolo

Riassunto

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

Informazioni sull?autore

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