FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1997, VOLUME 3, NUMBER 4, PAGES 1173-1197

Provability logic with operations over proofs

T. L. Sidon

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 Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/97/974/97418g.htm
Last modified: January 27, 2000