A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics

Kdy: January 11, 2023

Kde:

Seminář / přednáška A Parametrised Axiomatization for a Large Number of Restricted Second-Order Logics.