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

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 22, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS

Predicative subsystem of second-order arithmetic. Lecture 9

F. N. Pakhomov

*Video records:*
	Flash Video	2,743.2 Mb
	Flash Video	457.8 Mb
	MP4	1,737.1 Mb

Number of views:
This page:	218
Video files:	99

F. N. Pakhomov

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024