Natural deduction derived from truth tables

Autor: Geuvers, H., Giessen, I. van der, Hurkens, Tonny, Afshari, B.
Rok vydání: 2022
Zdroj: Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands, 43-44. Utrecht; Amsterdam : Evert Willem Beth Foundation
STARTPAGE=43-44;TITLE=Afshari, B. (ed.), THE PROOF SOCIETY: AUTUMN SCHOOL AND WORKSHOP (TPS2022), 7-12 November 2022, Utrecht, The Netherlands
Databáze: OpenAIRE