Thursday 14 June 2012

New item in mathematical logic: Note on omitting types in propositional logic