Semantics and logics of computation :: ISBN 0521580579 :: Cambridge University Press 1997 :: OBNB, the Open British National Bibliography

Publication Data

Title Semantics and logics of computation
Contributors A. M. Pitts, Peter Dybjer, Isaac Newton Institute for Mathematical Sciences
Publisher Cambridge University Press
Publication date 1997
Publication location Cambridge
Language English

Topics

Electronic data processing
Programming languages (Electronic computers) :: Semantics
Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GB96W2837
ISBN 10 0521580579
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.01

ISBD

P1053 xii,361p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Semantics and logics of computation. ISBN 0521580579. Published by Cambridge University Press in 1997. Publication and catalogue information, links to buy online and reader comments.