First Page | Document Content | |
---|---|---|
Date: 2018-07-19 05:32:19Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus | Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander LeitschAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 250,50 KBShare Document on Facebook |