03F30 First-order arithmetic and fragments

MSC > 03Fxx Proof theory and constructive mathematics > 03F30 First-order arithmetic and fragments

Give feedback