A language of constructive mathematics involving systems of sets
type: Item
instance of: scholarly article
title: A language of constructive mathematics involving systems of sets
zbMATH Open document ID: 0195.01805
author: Yanyan Li
published in: Proceedings of the Steklov Institute of Mathematics
publication date: 1967-01-01T00:00:00Z
zbMATH DE Number: 3310074
zbMATH Keywords: recursion theory, constructive mathematics
MaRDI profile type: MaRDI publication profile
description: scientific article; zbMATH DE number 3310074