کتاب منبع در حوزه منطق تارسکی که جای خالی آن به خوبی در منطق حس میشد. خوب نوشته شده و دقیق ترجمه شده.