Pretraga
Rezultati
A note on some intermediate propositional calculi
[1984]
Boričić, Branislav RETRACTIONS OF REVERSIBLE STRUCTURES [2017]
Kurilić, MilošOn kueker's conjecture [2012]
Tanović, PredragCartesian isomorphisms are symmetric monoidal: A justification of linear logic [1999]
Došen, KostaGenerality of proofs and its brauerian representation [2003]
Došen, KostaCohen-stable families of subsets of integers [2001]
Kurilic, Milos SFräissé limits of C*-algebras [2016]
Eagle, Christopher; Farah, IlijasCongruence of ultrafilters [2021]
Šobot BorisFilteri
Po tipu
- 28