Q3973194
type: Item
instance of: scholarly article
zbMATH Open document ID: 0809.03013
author: Nikolay N. Nepeivoda
publication date: 1992-06-26T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 16511
zbMATH Keywords: interpretation of intuitionistic logic
zbMATH Keywords: constructive logics
MaRDI profile type: Publication
Recommended article: Q3222190
Recommended article: Q3338238
Recommended article: Q5472008
Recommended article: On Constructive Fragments of Classical Logic
Recommended article: Q3987175
Recommended article: Constructive modal logics. I
Recommended article: Q5490623
Recommended article: Q3755454
Recommended article: Q4205440
Recommended article: Logical connectives for constructive modal logic
description: scientific article; zbMATH DE number 16511