This article is cited in 2 papers

MATHEMATICS

Impossibility of finite axiomatization of Medvedev's logic of finite problems

L. L. Maksimova, D. P. Skvortsov, V. B. Shehtman

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 04.12.1978

Bibliographic databases:

• 
•