Give me a bit more detail about the field of logic