Henkin sentences and local reflection principles for Rosser provability
scientific article; zbMATH DE number 6511071
scientific article