Rosalie Iemhoff A modal analysis of some principles of the provability logic of Heyting arithmetic
Gedrukt boek
Versies
-
A modal analysis of some principles of the provability logic of Heyting arithmetic
-
A modal analysis of some principles of the provability logic of Heyting arithmetic