Non-adic Formal Schemes | OUP Journals & Magazine | IEEE Xplore