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