mathematical logic vs everyday - Search