Skip to contents

  1. Kirst, Dominik [Author] ; Smolka, Gert [Degree supervisor]

    Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken, 2022