Publication | Closed Access
<i>On Formally Undecidable Propositions of Principia Mathematica and Related Systems</i>
588
Citations
0
References
1964
Year
EngineeringAutomated ReasoningFormal MethodsMathematical FoundationsPrincipia MathematicaFirst-order LogicFormal SystemFormal VerificationLogical Formalism
No additional data available for this publication yet. Check back later!