scientific article; zbMATH DE number 1948155

zbMath1020.03022MaRDI QIDQ4411816

E. Z. Skvortsova, Alexei Chernov, Dimitrij Skvortsov, Nikolai K. Vereshchagin

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710074.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kolmogorov complexityrealizabilitysuperintuitionistic logics

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

On abstract resource semantics and computability logic

This page was built for publication: