Semantics and Logics of Computation

Dybjer P. Pitts A. Pitts Andrew M.

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Editore: Cambridge University Press, 1997

Riguardo questo articolo

pp. 376.

Codice articolo 18492310

Dati bibliografici

• Titolo: Semantics and Logics of Computation
• Editore: Cambridge University Press
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 0521580579
• ISBN 13: 9780521580571
• Rilegatura: Rilegato
• Condizione: 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.