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