Results 191 to 198 of about 41,558 (198)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule.
Ryota Akiyoshi
openalex
Cut-elimination theorem for Visser's propositional logic and formal propositional logic
克巳 佐々木
openalex

