scientific article; zbMATH DE number 2048505

MaRDI QIDQ4452536zbMATH OpenFDO

Authors Fred Sommers

Publication date 1 March 2004

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(2)

• Types et contragrédientes
• Type structures

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 Q4452536)