TY  - JOUR
AU  - S. P. Kovalyov
TI  - Lukasiewicz's logic as an architecture model of arithmetic
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2003
SP  - 32
EP  - 50
VL  - 6
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2003_6_4_a2/
LA  - ru
ID  - SJIM_2003_6_4_a2
ER  -