Formal Semantics and Deductive Methods
Roger Bishop Jones · 2011
A discussion of formal semantics and semantic embedding. Created 2011/04/02 Last Change Date: 2011/05/16 21:40:17 Id: t047.doc,v 1.1 2011/05/16 21:40:17 rbj Exp http://www.rbjones.com/rbjpub/pp/doc/t047.pdf c © Roger Bishop Jones; Licenced under Gnu LGPL