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

Multiple forms of Gentzen's rules and some intermediate logics (abstract) (CROSBI ID 91892)

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

Šikić, Zvonimir Multiple forms of Gentzen's rules and some intermediate logics (abstract) // The Journal of symbolic logic, 48 (1983), 1227-1228-x

Podaci o odgovornosti

Šikić, Zvonimir

engleski

Multiple forms of Gentzen's rules and some intermediate logics (abstract)

.

intermediate logics

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

48

1983.

1227-1228-x

objavljeno

0022-4812

Povezanost rada

Matematika