MathSciNet bibliographic data MR1150930 (93c:03027) 03B45 (03F30 03F40) Visser, Albert An inside view of ${\rm EXP}$${\rm EXP}$; or, The closed fragment of the provability logic of ${\rm I}\Lambda\sb 0+\Omega\sb 1$${\rm I}\Lambda\sb 0+\Omega\sb 1$ with a propositional constant for ${\rm EXP}$${\rm EXP}$. J. Symbolic Logic 57 (1992), no. 1, 131–165. Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.