Incompleteness for Higher-order Arithmetic: An Example Based on Harrington’s Principle | DealShopping España

Incompleteness for Higher-order Arithmetic: An Example Based on Harrington’s Principle

Compartir: