Önermeler mantığı - Nesin, Ali, 1956- (Nesin Matematik Köyü, 2013)
Dizin var.