Semantics and Logics of Computation

Título:
Semantics and Logics of Computation
Autor:
Pitts; Dybjer
Materia:
Computer Science; Mathematics; British History 1066-1450; European History 1000-1450; European History 450-1000
Editor:
Cambridge University Press
Descripción:
Books for Research
Identificadores:
E-ISBN: 9780511526619; 9780521580571 ISBN: 9780521118460
Colección:
Cambridge University Press