Buy Me a Coffee at ko-fi.com

Takeuti's conjecture

theorem in formal logic

Pronunciation
/Takeuti's kənˈʤɛkʧə/
/Takeuti's kənˈʤɛkʧər/
Categories