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 |
Externí odkaz: |