RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 13, 2012 18:30, Moscow, Steklov Mathematical Institute


A sequent ņalculus for Gödel-Löb logic

D. S. Shamkanov


© Steklov Math. Inst. of RAS, 2024