Title: Logic, theoretical and practical
Subtitle: a text-book for teachers and students