ML-1998-09: Rosalie Iemhoff A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic 1.Full Text, 2.Abstract. < Back
