Smelianskiy Dmitry

Presentations in Math-Net.Ru

1. On the Completeness of Second-Order Theories with Infinity Axioms
   D. Smelianskiy
   International workshop "Syntax and semantics of logical systems"
   August 15, 2019 15:00