proof calculus

formal language that specifies allowed ways to prove a statement

en-US/ˈpɹuf ˈkælkjələs/
en-GB/ˈpɹuːf ˈkælkjʊləs/

دسته بندی ها:

formal language