Tahsin ÖNER

Boole cebirleri için bağımsız aksiyom kümeleri

Independent sets of axioms for boolean algebras

Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi

2018-Cilt: 20 - Sayı: 2

307-314

Classical logic, Boolean algebras, axiomatizability, consistence, independence

123 96