Title: Studies and exercises in formal logic