Semantics and Logics of Computation (Publications of the Newton Institute, Band 14)

Pitts, Andrew M. and P. Dybjer

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Editore: Cambridge University Press 30.01.1997., 1997

Riguardo questo articolo

376 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,8 x 15,6 x 2,6 cm, Gebundene Ausgabe.

Codice articolo 383856

Dati bibliografici

• Titolo: Semantics and Logics of Computation (Publications of the Newton Institute, Band 14)
• Editore: Cambridge University Press 30.01.1997.
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 0521580579
• ISBN 13: 9780521580571
• Rilegatura: Rilegato
• Edizione: Auflage: First Edition.
• Condizione: Sehr gut

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.