scientific article; zbMATH DE number 4189692

zbMath0722.03011MaRDI QIDQ5753927

L.A.Chagrova

Publication date: 1989

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

zbMATH Keywords

undecidabilityintuitionistic logic

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Modal logic with names

This page was built for publication: