Pregled bibliografske jedinice broj: 61571
Interpretability logic and generalized Veltman models
Interpretability logic and generalized Veltman models // The Bulletin of Symbolic logic, 6 (2000), 1. (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)
CROSBI ID: 61571 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Interpretability logic and generalized Veltman models
Autori
Vuković, Mladen
Izvornik
The Bulletin of Symbolic logic (1079-8986) 6
(2000), 1;
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, kongresno priopcenje, znanstveni
Ključne riječi
interpretability logic; Veltman models
Sažetak
.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Citiraj ovu publikaciju:
Časopis indeksira:
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- Zentralblatt fur Mathematik
