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 anti-intuitionistic logic (abstract) (CROSBI ID 91918)

Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija

Šikić, Zvonimir Premiss tree proofs and anti-intuitionistic logic (abstract) // The Journal of symbolic logic, 55 (1990), .; 429-x

Podaci o odgovornosti

Šikić, Zvonimir

engleski

Premiss tree proofs and anti-intuitionistic logic (abstract)

.

anti-intuitionistic logic

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

55 (.)

1990.

429-x

objavljeno

0022-4812

Povezanost rada

Matematika