Terms containing доказуемость

Subject	Russian	English
math.	абсолютная доказуемость	absolute provability
progr.	анализируемость и доказуемость свойств программы	analyzability and provability of program properties (Electronic Design Alex_Odeychuk)
sec.sys.	доказуемость путём проверки	verifiability
scient.	логическая доказуемость	logical provability (I. Havkin)
progr.	отношение доказуемости	provability relation (ssn)