scientific article; zbMATH DE number 3348101

zbMath0219.02043MaRDI QIDQ5623688

No author found.

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (1)

Integrating classical and intuitionistic type theory

This page was built for publication: