![Philosophy of language / Philosophy of mind / Semantics / Linguistics / Science / Entailment / Logic / Interpretation / Model theory Philosophy of language / Philosophy of mind / Semantics / Linguistics / Science / Entailment / Logic / Interpretation / Model theory](https://www.pdfsearch.io/img/f0d03ce7399b62f3cc7c0b590e08c4d8.jpg)
| Document Date: 2014-07-10 05:47:12 Open Document File Size: 207,00 KBShare Result on Facebook
Company SU NROLL ASA / / / IndustryTerm box infrastructure / / Organization School of Engineering / University of Pennsylvania / ETA / / Person Nat / C. Casinghino / V / ASE TU NROLL / A. C. Casinghino / V / Stephanie Weirich / Chris Casinghino / / / Position first author / General / Coq proof assistant / programmer / / ProgrammingLanguage EC / / RadioStation TL AM / B TL AM / / URL http /
SocialTag |