Old Web
English
Sign In
Acemap
>
Paper
>
Ein starker Normalisationssatz f?r die intuitionistische Typentheorie
Ein starker Normalisationssatz f?r die intuitionistische Typentheorie
1973
Wolfram Pohlers
Keywords:
Mathematics
Algebra
Topology
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]