scientific article
From MaRDI portal
Publication:3313859
zbMath0532.03027MaRDI QIDQ3313859
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On the syntax of Martin-Löf's type theories ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST
This page was built for publication:
