MATEMATIČESKAJA LOGIKA I JEJE PRIMENENIJA. VYP. 3. ALGORITMIČESKIJE LOGIKI : MATERIALY K SEMINARU PRI INST. MATEMATIKI I KIBERNETIKI AN LITOVSKOJ SSR - Žaldokas, Rimgaudas (AN LITOVSKOJ SSR INSTITUT MATEMATIKI I TERMIKI, 1983)