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/

Categories:

formal language