Semantics and Logics of Computation

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Editore: Cambridge University Press, 1997

Riguardo questo articolo

pp. 376 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.

Codice articolo 7355587

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.