Pregled bibliografske jedinice broj: 65506
Multiple forms of Gentzen's rules and some intermediate logics (abstract)
Multiple forms of Gentzen's rules and some intermediate logics (abstract) // Journal of Symbolic Logic, 48 (1983), 1227-1228 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 65506 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Multiple forms of Gentzen's rules and some intermediate logics (abstract)
Autori
Šikić, Zvonimir
Izvornik
Journal of Symbolic Logic (0022-4812) 48
(1983);
1227-1228
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
intermediate logics
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
