History of logic (Bibliopolis, 1982)