MathSciNet bibliographic data MR656793 (83i:03093) 03F15 (18B99) Girard, Jean-Yves \$\Pi \sp{1}\sb{2}\$$\Pi \sp{1}\sb{2}$-logic. I. Dilators. Ann. Math. Logic 21 (1981), no. 2-3, 75–219 (1982). 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.