Ontos mathematical logic (De Gruyter, 2006)