Претрага
Резултати
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
A note on the law of identity and the converse parry property [1978]
Došen, Kosta![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
The “Relevance” of intersection and union types [1997]
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
Strong normalization and typability with intersection types [1996]
Ghilezan, Silvia![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
Logical constants as punctuation marks [1989]
Došen, Kosta![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
An intuitionistic sheffer function [1985]
Došen, Kosta![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
More on trees and finite satisfiability: The taming of terms [1987]
Kapetanović, Miodrag; Krapež, Aleksandar![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
Semi-isolation and the strict order property [2015]
Sudoplatov, Sergey; Tanović, Predrag![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
On certain normalizable natural deduction formulations of some propositional intermediate logics (✓) [1988]
Boričić, Branislav![](/image/people_icon_ico.png)
![](/image/organisations_icon_ico.png)
Филтери
По типу
- 14