The following pages link to Lev D. Beklemishev (Q636315):
Displaying 25 items.
- Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian (Q4992044) (← links)
- Sergei Ivanovich Adian (Q4992047) (← links)
- A many-sorted variant of Japaridze’s polymodal provability logic (Q5095650) (← links)
- Mikhail Ivanovich Shtogrin (Q5112448) (← links)
- Yurii Leonidovich Ershov (on his 80th birthday) (Q5118063) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (Q5220248) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics (Q5224682) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Sergei Ivanovich Adian (on his 75th birthday) (Q5296745) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Propositional primal logic with disjunction (Q5406129) (← links)
- (Q5419872) (← links)
- (Q5477944) (← links)
- (Q5483298) (← links)
- (Q5494229) (← links)
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic (Q5696302) (← links)
- Gregory Samuilovich Tseytin (obituary) (Q6184487) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q6324274) (← links)
- On the unification problem for GLP (Q6529542) (← links)
- Axiomatizing origami planes (Q6612818) (← links)
- Marat Mirzaevich Arslanov (on his eightieth birthday) (Q6639447) (← links)
- Periodic frames (Q6736472) (← links)
- Automatic structures and the problem of natural well-orderings (Q6736473) (← links)
