Basic logic;
Subtitle: The fundamental principles of formal deductive reasoning,