Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Premiss tree proofs and logic of contradiction (CROSBI ID 91899)

Prilog u časopisu | izvorni znanstveni rad

Šikić, Zvonimir Premiss tree proofs and logic of contradiction // Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 36 (1990), 273-280-x

Podaci o odgovornosti

Šikić, Zvonimir

engleski

Premiss tree proofs and logic of contradiction

.

logic of contradiction

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

36

1990.

273-280-x

objavljeno

0044-3050

Povezanost rada

Matematika