Buy Me a Coffee at ko-fi.com

Systems of logic based on ordinals

doctoral thesis written by Alan Turing

Pronunciation
/ˈsɪstəmz əv ˈlɑʤɪk beɪst ɑn ˈɔrdnəlz/
/ˈsɪstəmz əv ˈlɒʤɪk beɪst ɒn ˈɔːdɪnəlz/