bn:00221788n
Noun Concept
AR
realizability
EN
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Wikipedia
Sources
Wikipedia Translations