Glebskiĭ, Yu. V.; Kogan, D. I.; Liogon’kiĭ, M. I.; Talanov, V. A. Umfang und Anteil der Erfüllbarkeit von Formeln des engeren Prädikatenkalküls. (Russian) Zbl 0209.30803 Kibernetika 1969, No. 2, 17-27 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 11 Documents MSC: 03B10 Classical first-order logic × Cite Format Result Cite Review PDF