Skip to content
Složeno pretraživanje
  • Jezik
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • Hrvatski
Složeno pretraživanje
  • Pretraživanje:
Preporučene teme... za Vaše pretraživanje.
Modalna logika Posibilizam i aktualizam 3 Bisimulacija 2
Koindukcija (matematika) 2 Logika 2 Računalstvo 2
prikaži više ...
Galoisova teorija 1 Indukcija (logika) 1 Indukcija (matematika) 1
Matematički modeli 1 Metamatematika 1 Neklasična matematička logika 1
Preslikavanja (matematika) 1 Semantika 1 prikaži manje ...
Prikazuje se 1 - 9 od 9 za pretraživanje: '', Upit obrađen za: 0.02s
Popis  Grid 
Slika naslovnice
Presuppositions, logic, and dynamics of belief
Autor: Brkić, Slavko
Matična publikacija: Prolegomena (Zagreb) (2004)
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Članak Učitavam...
Slika naslovnice
Logic of change
Autor: Šešić, Bogdan V.
Impresum 1972
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Slika naslovnice
Fusions of modal logics and Fitch's paradox
Autor: Costa-Leite, Alexandre
Matična publikacija: Croatian journal of philosophy (2006)
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Članak Učitavam...
Slika naslovnice
Problemi kvantificirane epistemičke logike
Autor: Brkić, Slavko
Matična publikacija: Radovi (Sveučilište u Splitu. Filozofski fakultet Zadar. Razdio filozofije, psihologije, sociologije i pedagogije) (1996)
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Članak Učitavam...
Slika naslovnice
On logics and semantics for interpretability : cotutelle doctoral thesis
Impresum 2021
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Preuzmite puni tekst
Knjiga
Slika naslovnice
Introduction to bisimulation and coinduction
Autor: Sangiorgi, Davide
Impresum 2012
Izdanje: 1st published
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Advanced topics in bisimulation and coinduction
Impresum 2012
Izdanje: 1st published
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Generalized Galois logics : relational semantics of nonclassical logical calculi
Autor: Bimbó, Katalin
Impresum 2008
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Preview
Preview
Preview
Slika naslovnice
Modalna definabilnost i teoremi očuvanja u modalnoj logici : doktorski rad
Autor: Perkov, Tin
Impresum 2012
Lokacija:
  • Nacionalna i sveučilišna knjižnica u Zagrebu
Knjiga Učitavam...
Alati za pretraživanje: RSS Feed — Pretraživanje pošaljite e-poštom

Ograniči pretraživanje

Ukloni opseg
Preporučene teme: Modalna logika
Baza
9 Nacionalna i sveučilišna knjižnica u Zagrebu
Vrsta građe
6 Knjiga 3 Članak
Autor
2 Brkić, Slavko 2 Sangiorgi, Davide 1 Bimbó, Katalin 1 Costa-Leite, Alexandre 1 Dunn, J. Michael 1 Joosten, Joost Johannes prikaži više ... 1 Mikec, Luka 1 Perkov, Tin 1 Rutten, Johannes Josephus Martinus Matheus 1 Vuković, Mladen, matematičar 1 Šešić, Bogdan V. prikaži manje ...
Jezik
7 engleski 2 hrvatski
Područje
1 Disertacije
Godina izdanja

Mogućnosti pretraživanja

  • Povijest pretraživanja
  • Složeno pretraživanje

Dodatne mogućnosti pretraživanja

  • Pregledavanje kataloga
  • Pregledavanje po abecedi
  • Nastavni materijali
  • Novi primjerci

Trebate li pomoć?

  • Pomoć za pretraživanje
  • Pitajte knjižničara
  • Prijedlozi i komentari
Hrvatski nacionalni skupni katalog razvijaju Nacionalna i sveučilišna knjižnica u Zagrebu, Sveučilište u Zagrebu, Hrvatsko katoličko sveučilište, Filozofski fakultet Sveučilišta u Zagrebu, Medicinski fakultet Sveučilišta u Zagrebu, Fakultet strojarstva i brodogradnje Sveučilišta u Zagrebu te Sveučilište u Zagrebu Fakultet elektrotehnike i računarstva.
Učitavam...