TY - BOOK AU - Atanassov K T TI - Applications of generalized nets U1 - B:(R1), N3 PY - 1993/// KW - Mathematical logic KW - Mathematics ER -