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