Претрага
Резултати
Theorem Provers for Substructural Logics [2007]
Ilić, MirjanaMinimal modal system in which heyting and classical logic can be embedded [1981]
Došen, KostaDeductive systems and categories [1998]
Došen, KostaStationary sets, trees and continuums [1981]
Todorčević, StevoFiirst order accuracy scheme on non-uniform mesh [1987]
Stojanovic MirjanaMeasure and integration in alternative set theory [1981]
Rašković, MiodragOn D-weak bases, D-sn-networks and topological groups
[2026]
Milošević, Stepan Some questions concerning minimal structures [2007]
Tanović, PredragMicro-local analysis in some spaces of ultradistributions [2012]
Johansson Karoline; Pilipović StevanФилтери
По типу
- 275