"Tableau Systems For First Order Number Theory And Certain Higher Order Theories" - читать интересную книгу автора (Sue Ann Toledo)