Publication | Open Access
Arithmetization of metamathematics in a general setting
443
Citations
0
References
1960
Year
EngineeringAutomated ReasoningFormal MethodsMetaprogrammingFormal SystemGeneral SettingHigher-order Logic
No additional data available for this publication yet. Check back later!