Semantics and logics of computation

Web Site CiNii Available at 32 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
  • 1997
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references and index

Related Books

See more

Details 詳細情報について

Back to top