(1)
Pliuškevičius R. Įrodymų Baigtinumas Minimaliai Laiko Logikai. LMR 2009, 50, 264–268.