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

by Solomon Feferman
Venue:Proof Theory