Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Automated theorem proving / Model theory / Proof theory / Complexity classes / Logical connectives / NP / IP / Negation / Coq


Falso: a simple, self-consistent logic Antoine Amarilli Club Inutile & Estatis, Inc. Scholarly Outreach Division 1 Accounting Dr., Mariana Trench, Intl. Waters
Add to Reading List

Document Date: 2016-08-02 11:41:55


Open Document

File Size: 193,83 KB

Share Result on Facebook