View of Completeness classes for intuitionistic first-order temporal logic with time gaps | Lietuvos matematikos rinkinys

← Completeness classes for intuitionistic first-order temporal logic with time gaps