APPLYING OF PREDICATES FOR SETTLEMENT OF MODEL COMPLETENESS ABILITY-INTUITIONISTIC LOGIC

Olga Izbas

Full Text:

PDF


DOI: http://dx.doi.org/10.14510%2Faraproc.v37i0.1090