Vladimirov Aleksei Germanovich

Presentations in Math-Net.Ru

1. Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory
   A. G. Vladimirov
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   April 3, 2012 18:30