Open AccessAn approach to analysis of the set of truth: unlocking of predicate
Author(s) -
D.A. Serkov
Publication year - 2016
Publication title -
vestnik udmurtskogo universiteta. matematika, mehanika, kompʹûternye nauki
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.354
H-Index - 8
eISSN - 2076-5959
pISSN - 1994-9197
DOI - 10.20537/vm160407
Subject(s) - predicate (mathematical logic) , computer science , set (abstract data type) , programming language