scientific article; zbMATH DE number 5070359
From MaRDI portal
Publication:5395256
zbMath1106.03319MaRDI QIDQ5395256
Publication date: 2 November 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Intuitionistic mathematics (03F55)
This page was built for publication:
