Информационная система "Конференции"

The 9^th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

Non-classical logics, proof theory and universal algebra

Some results in the epsilon substitution method

Arai T.

Graduate School of Science and Technology Kobe University (Kobe)

Text in pdf-file..

Additional information: araialc05.pdf (52 kb)

Mail to Webmaster
alc9@math.nsc.ru

|Home Page| |English Part|

[SBRAS]

© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
Last update: 06-Jul-2012 (11:44:52)