Soesianto, F text Yogyakarta : Andi 2006 I LOGIC, SYMBOLIC & MATHEMATICAL URN:ISBN:979-763-568-6