D. P. Skvortsov, “Logic of infinite problems and Kripke models on atomic semilattices of sets”, Dokl. Akad. Nauk SSSR, 1979, Volume 245, Number 4,Pages <nobr>798

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1979 Volume 245, Number 4, Pages 798–801 (Mi dan42627)

MATHEMATICS

Logic of infinite problems and Kripke models on atomic semilattices of sets

D. P. Skvortsov

Lomonosov Moscow State University

UDC: 517.12

Presented: A. N. Kolmogorov
Received: 04.12.1978

Fulltext: PDF file (532 kB)

Bibliographic databases: