Bibliography for COMPGL01 / COMPM086: Introduction to Logic, Semantics and Verification BETA
Back to list
IEEE
- ACM SIG Proceedings
- American Medical Association (AMA)
- American Psychological Association
- American Sociological Association
- BibTex
- BMJ
- Chicago Manual of Style (author-date)
- Harvard
- Modern Humanities Research Association 3rd edition (note with bibliography)
- Modern Language Association
- National Library of Medicine
- Nature
- OSCOLA (Oxford University Standard for Citation of Legal Authorities)
- Royal Society of Chemistry
- Springer LNCS
- Vancouver
[1]B. F. Chellas, Modal Logic: An Introduction. Cambridge: Cambridge University Press, 1980 [Online]. Available: http://dx.doi.org/10.1017/CBO9780511621192[2]G. Winskel, The formal semantics of programming languages. Cambridge, Mass: MIT Press, 1993.