Rosser's trick

method in mathematical logic

en-GB/ɹɒsəz ˈtɹɪk/

Categories:

mathematical proof