Претрага
Резултати
An intuitionistic sheffer function [1985]
Došen, Kosta
Semi-isolation and the strict order property [2015]
Sudoplatov, Sergey; Tanović, Predrag
On certain normalizable natural deduction formulations of some propositional intermediate logics
[1988]
Boričić, Branislav
More on trees and finite satisfiability: The taming of terms [1987]
Kapetanović, Miodrag; Krapež, Aleksandar
Lower Bounds of Sets of P-points [2023]
Kuzeljević Boriša ; Raghavan Dilip; Verner Jonathan L.
Some preservation results for classical and intuitionistic satisfiability in kripke models [1983]
Marković, ZoranLogical constants as punctuation marks [1989]
Došen, Kosta
Strong normalization and typability with intersection types
[1996]
Ghilezan, Silvia
Филтери
По типу
- 15