logic first order 28 pages 8636263