first order logic lecture 17 4462643