Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 65545

Premiss tree proofs and logic of contradiction


Šikić, Zvonimir
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:

Avatar Url Zvonimir Šikić (autor)


Citiraj ovu publikaciju:

Šikić, Zvonimir
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)
Šikić, Z. (1990) Premiss tree proofs and logic of contradiction. Zeitschr. f. math. Logik und Grundlagen d. Math., 36, 273-280.
@article{article, author = {\v{S}iki\'{c}, Zvonimir}, year = {1990}, pages = {273-280}, keywords = {logic of contradiction}, journal = {Zeitschr. f. math. Logik und Grundlagen d. Math.}, volume = {36}, issn = {0044-3050}, title = {Premiss tree proofs and logic of contradiction}, keyword = {logic of contradiction} }
@article{article, author = {\v{S}iki\'{c}, Zvonimir}, year = {1990}, pages = {273-280}, keywords = {logic of contradiction}, journal = {Zeitschr. f. math. Logik und Grundlagen d. Math.}, volume = {36}, issn = {0044-3050}, title = {Premiss tree proofs and logic of contradiction}, keyword = {logic of contradiction} }




Contrast
Increase Font
Decrease Font
Dyslexic Font