Semantics and logics of computation

CiNii Available at 5 libraries

Bibliographic Information

Title
"Semantics and logics of computation"
Statement of Responsibility
edited by Andrew M. Pitts, Peter Dybjer
Publisher
  • Cambridge University Press
Publication Year
  • 2009
Book size
23 cm
Series Name / No
  • pbk

Search this Book/Journal

Notes

Includes bibliographical references and index

First published 1997, this digitally printed version 2009 (Paperback re-issue)

Related Books

See more

Details 詳細情報について

Back to top