Pretraga
Rezultati
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
The “Relevance” of intersection and union types
[1997]
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti
Vaught's Conjecture for Theories of Discretely Ordered Structures [2024]
Tanovic, Predrag N
An intuitionistic sheffer function [1985]
Došen, Kosta
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus [1991]
Došen, Kosta
A note on the law of identity and the converse parry property [1978]
Došen, Kosta
Lower Bounds of Sets of P-points [2023]
Kuzeljević Boriša ; Raghavan Dilip; Verner Jonathan L.
Filteri
Po tipu
- 15