Pregled bibliografske jedinice broj: 65601
Premiss tree proofs and anti-intuitionistic logic (abstract)
Premiss tree proofs and anti-intuitionistic logic (abstract) // Journal of Symbolic Logic, 55 (1990), .. (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 65601 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Premiss tree proofs and anti-intuitionistic logic (abstract)
Autori
Šikić, Zvonimir
Izvornik
Journal of Symbolic Logic (0022-4812) 55
(1990), .;
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
anti-intuitionistic logic
Sažetak
.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Zvonimir Šikić
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- SCI-EXP, SSCI i/ili A&HCI
