Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Kovalev, Konstantin Andreevich
Statistics Math-Net.Ru
Presentations:
1
Number of views:
This page:
162
https://www.mathnet.ru/eng/person189356
List of publications on Google Scholar
Presentations in
Math-Net.Ru
1.
Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation
K. A. Kovalev
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 10, 2022
17:15
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024