Interactive realizations of logical formulas

DOI10.20537/VM160204zbMATH Open1396.03084OpenAlexW2489543925MaRDI QIDQ5266477FDOQ5266477

Anatoly Petrivich Beltiukov

Publication date: 6 June 2017

Published in: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/vuu529

zbMATH Keywords

realizationunderstandinglogical formulascounteraction

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited In (1)

• Interactive Logical Structures

This page was built for publication: Interactive realizations of logical formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5266477)