Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic

Makaleler > Tam Makale · 2000

Yazarlar: V. V. Rybakov, M. Terziler, V. V. Rimatskii

Algebra and Logic, Uluslararası, Scopus, 2000, cilt 39, ss 412-422

DOI: 10.1023/a:1010226820231

Detay görüntüle