TY - JOUR AU - I. D. Zaslavsky TI - Formal axiomatic theories on the base of three-valued logic JO - Zapiski Nauchnykh Seminarov POMI PY - 2003 SP - 19 EP - 74 VL - 304 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a3/ LA - ru ID - ZNSL_2003_304_a3 ER -