journal : Proceedings of the London Mathematical Society

2 articles
page_white_acrobat Systems of Logic Based on Ordinals (1939) — Alan Mathison Turing