scientific article; zbMATH DE number 7576854
From MaRDI portal
Publication:5100005
Publication date: 26 August 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematical logic and foundations (03-03) Other model constructions (03C30) Higher-order logic (03B16)
This page was built for publication: