![Type theory / Semantics / Predicate logic / Proof theory / Quantification / Type system / Model theory / Mathematical logic / Exception handling / Logic / Metalogic / Science Type theory / Semantics / Predicate logic / Proof theory / Quantification / Type system / Model theory / Mathematical logic / Exception handling / Logic / Metalogic / Science](https://www.pdfsearch.io/img/cbee8e7df19adaa888137e58f843f0f3.jpg)
| Document Date: 2013-03-21 08:22:58 Open Document File Size: 427,55 KBShare Result on Facebook
/ Facility Ghent University / / IndustryTerm informational systems / / Organization Ghent University / Foundation Flanders Centre for Logic and Philosophy of Science / / Person Nat / Williamson / Giuseppe Primiero / / PublishedMedium Philosophy of Science / / URL http /
SocialTag |