313
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics ...


472
Logic (from the Ancient Greek: λογική, translit. logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or ...