Words, proofs, and diagrams /

Bibliographic Details

Other Authors:	Barker-Plummer, Dave
Format:	Book
Language:	English
Published:	Stanford, Calif. : CSLI Publications, Center for the Study of Language and Information, [2002]
Subjects:	Language and logic. Reasoning. Logic diagrams. Computational linguistics. Visual communication. Semantics (Philosophy)