scientific article
From MaRDI portal
Publication:3593495
zbMATH Open1146.03005MaRDI QIDQ3593495
Publication date: 20 July 2007
Title of this publication is not available (Why is that?)
Related Items (3)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Completeness in hybrid type theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593495)
