doi:j.entcs

First Page		Document Content
Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem		doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Download Document from Source Website File Size: 351,31 KB Share Document on Facebook