![Function / Adjoint functors / Interpretation / First-order logic / Heyting algebra / Mathematics / Mathematical analysis / Model theory Function / Adjoint functors / Interpretation / First-order logic / Heyting algebra / Mathematics / Mathematical analysis / Model theory](https://www.pdfsearch.io/img/37230a04a3be16b83a69ba1d99deb80a.jpg)
| Document Date: 2013-04-17 14:32:29 Open Document File Size: 301,37 KBShare Result on Facebook
Facility Birmingham University of Gothenburg Abstract / stable X / stable A / University of Nottingham University / / IndustryTerm obvious associativity law holds / / Organization Nottingham University / University of Birmingham University / Institute for Advanced Study / / Position actual representative / Bishop / /
SocialTag |