Seminars: F. N. Pakhomov, Predicative subsystem of second-order arithmetic. Lecture 10

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming 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

*Video records:*
	Flash Video	4,786.5 Mb
	Flash Video	3,021.2 Mb
	Flash Video	798.7 Mb
	MP4	3,031.8 Mb

Number of views:
This page:	259
Video files:	123

F. N. Pakhomov

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024