3

Answers
votes newest views recent
1
What is the intuitive meaning of star and box in a pure type system?
5
Most general formulation of Gödel’s incompleteness theorems
8
Reducing ACA₀ proof to First Order PA