Back to Results
First PageMeta Content
Logic / Formal languages / Philosophy / Mathematical logic / Interpretation / Philosophy of mind / Semantics / Substitution / Model theory / Symbol / IP / operator


Counter Simulations via Higher Order Quantifier Elimination: a preliminary report Silvio Ghilardi Elena Pagani
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 230,96 KB

Share Result on Facebook
UPDATE