O kur dingo naujas Čyvo tekstas?

Kagebistas nėra Lietuvos saugumietis,o ir tarp pastarųjų randama KGB rezervistų.Taigi.

Įrodymų spacializacija tiesinei laiko logikai //MLS seminaras: Regimantas Pliuškevičius ,,Įrodymų specializacija tiesinei laiko logikai“ (2007 m. kovo 22 d. 12 val.) ,Matematikos ir informatikos instituto
Matematinės logikos skyriaus seminaras, 2007 m. kovo 22 d. 12 val.
Akademijos g. 4, 325 kab., Vilniuje