Topics in Logic - an Introduction by Milan Frankl