Sunday 7 June 2015

Armenian Journal of Mathematics

A note on omitting types in propositional logic has appeared here: http://www.flib.sci.am/eng/journal/Math/