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
Povezanost rada
Povezane osobe
Povezane ustanove