Publication | Closed Access
On Formally Undecidable Propositions of Principia Mathematica and Related Systems.
53
Citations
0
References
1966
Year
EngineeringAutomated ReasoningFormal MethodsPrincipia MathematicaFirst-order LogicFormal SystemHigher-order LogicLogical FormalismFormal VerificationComputability Theory
No additional data available for this publication yet. Check back later!