Some improvement of lower bounds for steps and sizes of proofs in Frege systems

Հոդված
10506
Chubaryan A.A.
Tamazyan H.A.
Tshitoyan A.S.
Sciences of Europe
Vol 1, # 37
39-44
2019
©2024 Բոլոր իրավունքները պաշտպանված են: