Treffer 1 – 20 von 43 für Suche 'Troelstra, Anne S. 1939-2019', Suchdauer: 0,11s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    From constructivism to computer science

    From constructivism to computer science von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Lectures on linear logic

    Lectures on linear logic von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Lectures on linear logic

    Lectures on linear logic von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Constructivism in mathematics an introduction

    Constructivism in mathematics an introduction von Troelstra, Anne S. 1939-2019, Dalen, Dirk van 1932-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Constructivism in mathematics an introduction

    Constructivism in mathematics an introduction von Troelstra, Anne S. 1939-2019, Dalen, Dirk van 1932-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Constructivism in mathematics an introduction

    Constructivism in mathematics an introduction von Troelstra, Anne S. 1939-2019, Dalen, Dirk van 1932-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Two notes on intuitionistic analysis

    Two notes on intuitionistic analysis von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Axioms for intuitionistic mathematics incompatible with classical logic

    Axioms for intuitionistic mathematics incompatible with classical logic von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Note on the fan theorem

    Note on the fan theorem von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Principles of Intuitionism Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

    Principles of Intuitionism Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1969
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Supplement to bibliography of natural history travel narratives

    Supplement to bibliography of natural history travel narratives von Troelstra, Anne S. 1939-2019

    Veröffentlicht 2018
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Basic proof theory

    Basic proof theory von Troelstra, Anne S. 1939-2019, Schwichtenberg, Helmut 1942-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Concepts and axioms

    Concepts and axioms von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Constructivism in mathematics an introduction

    Constructivism in mathematics an introduction von Troelstra, Anne S. 1939-2019, Dalen, Dirk van 1932-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Constructivism in mathematics an introduction

    Constructivism in mathematics an introduction von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1988
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    A note on non-extensional operations in connection with continuity and recursiveness

    A note on non-extensional operations in connection with continuity and recursiveness von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Choice sequences and completeness of intuitionistic predicate logic

    Choice sequences and completeness of intuitionistic predicate logic von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Markov's principle and Markov's rule for theories of choice sequences

    Markov's principle and Markov's rule for theories of choice sequences von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Choice sequences

    Choice sequences von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Corrections and additions to " Metamathematical investigation of intuitionistic arithmetic and analysis"

    Corrections and additions to " Metamathematical investigation of intuitionistic arithmetic and analysis" von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: