![](https://www.pdfsearch.io/img/8a245df20379615951e614405f32186f.jpg) Date: 2014-04-03 01:14:55
| | Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baaAdd to Reading ListSource URL: www.preining.infoDownload Document from Source Website File Size: 371,16 KBShare Document on Facebook
|