Book contents
Appendix F - Proof Obligations
Published online by Cambridge University Press: 21 January 2010
Summary
- Type
- Chapter
- Information
- The B-BookAssigning Programs to Meanings, pp. 763 - 774Publisher: Cambridge University PressPrint publication year: 1996