Logics for termination and correctness of functional programs II: Logics of strength PRA (1992)

by S Feferman
Venue:In Proof Theory