http://dkbook.ir//Book/59423/دوره-مختصر-منطق-صوری-دانشگاه-تهران