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

Predicative subsystem of second-order arithmetic. Lecture 10

F. N. Pakhomov



© Steklov Math. Inst. of RAS, 2024