Skip to contents

  7. Troelstra, Anne S. [Author]; Dalen, Dirk van [Author]

    Constructivism in mathematics : an introduction

    Books
    Close

    Bookmarks

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

    Amsterdam: North-Holland, 1988

    Published in: Studies in logic and the foundations of mathematics ; .

  16. Lawvere, Francis William [Other]; Bucur, Ion [Other]; Lawvere, Francis W. [Editor] ; Dalhousie University, Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic 1971 Halifax, Nova Scotia

    Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971

    Books
    Close

    Bookmarks

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

    Berlin [u.a.]: Springer, 1972

    Published in: Lecture notes in mathematics ; 274