Publication | Open Access
An application of games to the completeness problem for formalized theories
610
Citations
0
References
1961
Year
Computational LogicFormalized TheoriesEngineeringIncompletenessAutomated ReasoningGame TheoryComputational Model TheoryFormal MethodsModel TheoryFormal SystemGamesCompleteness Problem
No additional data available for this publication yet. Check back later!