This article is cited in 1 paper

MATHEMATICS

Numerically correct logics of provability

S. N. Artemov

V. A. Steklov Mathematical Institute, USSR Academy of Sciences, Moscow

UDC: 510.65

Presented: A. N. Kolmogorov
Received: 22.01.1986

Bibliographic databases:

• 
•