FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1996, VOLUME 2, NUMBER 2, PAGES 483-499

Grzegorczyk logic with arithmetical proof operators

E. Yu. Nogina

Abstract

View as HTML     View as gif image

Gif image of the abstract

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/96/962/96206g.htm
Last modified: March 19, 2005