RUS  ENG
Full version
SEMINARS

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


Predicative subsystem of second-order arithmetic. Lecture 9

F. N. Pakhomov




© Steklov Math. Inst. of RAS, 2024