FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1999, VOLUME 5, NUMBER 1, PAGES 221-255

On arithmetic complexity of the predicate logics of complete constructive arithmetic theories

V. E. Plisko

Abstract

View as HTML     View as gif image    View as LaTeX source

Gif image of the abstract


All articles are published in Russian.

Main page Editorial board
Instructions to authors Contents of the journal

Location: http://mech.math.msu.su/~fpm/eng/99/991/99113g.htm
Last modified: April 27, 1999