Open AccessPractice-oriented tasks in predicate logic
Author(s) -
T.I. Truntaeva
Publication year - 2021
Publication title -
continuum: matematika. informatika. obrazovanie
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2500-1957
DOI - 10.24888/2500-1957-2021-1-57-64
Subject(s) - predicate (mathematical logic) , computer science , programming language , predicate logic , predicate variable , arithmetic , mathematics , description logic , multimodal logic , zeroth order logic