دوره و شماره: دوره 3، شماره 2 - شماره پیاپی 10، بهار 1402، صفحه 89-198 (بهار 1402) 

نظریه صدق تارسکی

صفحه 141-159

سیاوش احمدزاده، لطف‌الله نبوی