TY - BOOK ED - АН СССР. Ин-т кибернетики. TI - Всесоюзная конференция по прикладной логике, 2-е . Новосибирск, 7-9 июня 1988г.: Тезисы докладов PY - 1988/// CY - Новосибирск KW - მათემატიკა KW - მათემატიკური ლოგიკა KW - კონფერენციები ER -