Была такая : выражение f(z, 0, 0) истинно при любом значении z. выражение f(w, x, r) истинно, если истинны все выражения: w = x - 1, x = a*r, f(1, 5, r). эта не вся , но можете по ней сказать, что это за тип и по какому запросу в интернете найти подобные?