Pregled bibliografske jedinice broj: 65545
Premiss tree proofs and logic of contradiction
Premiss tree proofs and logic of contradiction // Zeitschr. f. math. Logik und Grundlagen d. Math., 36 (1990), 273-280 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 65545 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Premiss tree proofs and logic of contradiction
Autori
Šikić, Zvonimir
Izvornik
Zeitschr. f. math. Logik und Grundlagen d. Math. (0044-3050) 36
(1990);
273-280
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
logic of contradiction
Sažetak
.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Zvonimir Šikić
(autor)