Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Logic and computation�Interactive proof with Cambridge LCF: By LC Paulson. Cambridge University Press‚ Cambridge‚ 1987‚ Price£ 27.50‚ ISBN 0 521 34632 0

Logic and computation�Interactive proof with Cambridge LCF: By LC Paulson. Cambridge University Press‚ Cambridge‚ 1987‚ Price£ 27.50‚ ISBN 0 521 34632 0

Tobias Nipkow

Publisher
Elsevier
Year
1988

Links

See Also

Back to Top