The Boolean-valued model of the axiom system of GB
From MaRDI portal
Publication:1177277
zbMath0738.03023MaRDI QIDQ1177277
Publication date: 26 June 1992
Published in: Chinese Science Bulletin (Search for Journal in Brave)
This page was built for publication: The Boolean-valued model of the axiom system of GB