Proceedings of the London Mathematical Society

Proceedings of the London Mathematical Society is the flagship journal of the LMS, publishing high-quality articles across a broad range of mathematics.

works as
journal containing
page_white_acrobatSystems of Logic Based on Ordinals (1939) — Alan Mathison Turing