• 홈
  • proof calculus

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