This article is cited in 3 papers

MATHEMATICS

Nonarithmeticity of truth predicate logics of provability

S. N. Artemov

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

UDC: 510.65

Presented: A. N. Kolmogorov
Received: 27.05.1985

Bibliographic databases:

• 
•