Results for a concise introduction to logic