Book Chapter10.1007/978-1-4613-0609-2_6

Normalization Theorems for the Intuitionistic Systems with Choice Principles

G. Mints-1990-01-01

2

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

ExtensionalityNormalization (sociology)MathematicsLeft and rightCalculus (dental)Pure mathematicsDiscrete mathematicsMedicine

Chat

Click to start Chat