proof calculus

formal language that specifies allowed ways to prove a statement

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

Kategoriler:

formal language