Provability logic—a short introduction

Authors


Ancillary