Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


The plenary talks

On limit existence principles in formal arithmetic.

Beklemishev L.D.

Department of Philosophy Utrecht University,
Steklov Mathematical Institute RAS (Utrecht)

Text in pdf-file.

Full Text in Russian: Beklemishev.pdf(67kb)


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)