03F35 Second- and higher-order arithmetic and fragments

MSC > 03Fxx Proof theory and constructive mathematics > 03F35 Second- and higher-order arithmetic and fragments

Give feedback