RUS  ENG
Full version
SEMINARS

F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 4, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS


Predicative subsystem of second-order arithmetic. Lecture 3

F. N. Pakhomov




© Steklov Math. Inst. of RAS, 2024