Computational Content of a Generalized Kreisel-Putnam Rule

Kdy: March 22, 2023
Kde:

Seminář / přednáška Computational Content of a Generalized Kreisel-Putnam Rule.