Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Vladimirov, Aleksei Germanovich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 1

Number of views:
This page:193
Abstract pages:409
Full texts:198
References:52
E-mail:

https://www.mathnet.ru/eng/person30455
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2011
1. A. G. Vladimirov, “Effectivity Properties of Intuitionistic Set Theory with Collection Scheme”, Mat. Zametki, 89:5 (2011),  658–672  mathnet  mathscinet; Math. Notes, 89:5 (2011), 619–632  isi  scopus 1

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

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024