abstract logic

formal system in mathematical logic

en-US/ˈæbˌstɹæktn ˈlɑd͡ʒɪk/
en-GB/əbˈstɹækt ˈlɒd͡ʒɪk/

Categorie:

logical system