A step semantic system for set theory

DOI10.1007/BF01139949zbMath0577.03029OpenAlexW2063668606MaRDI QIDQ1065794

E. S. Burgina

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01139949

zbMATH Keywords

constructive mathematicslanguages for constructive set theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Set theory (03E99)

Related Items (1)

Notes on constructive negation

This page was built for publication: A step semantic system for set theory