![Logic / Mathematics / Abstraction / Mathematical logic / Model theory / Proof theory / Semantics / Term algebra / First-order logic / Interpretation / Substitution / Herbrandization Logic / Mathematics / Abstraction / Mathematical logic / Model theory / Proof theory / Semantics / Term algebra / First-order logic / Interpretation / Substitution / Herbrandization](https://www.pdfsearch.io/img/7566bcab978fa4afdc7acd3e68a51db9.jpg) Date: 2012-08-23 06:37:32Logic Mathematics Abstraction Mathematical logic Model theory Proof theory Semantics Term algebra First-order logic Interpretation Substitution Herbrandization | | Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions byAdd to Reading ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source Website File Size: 164,63 KBShare Document on Facebook
|