Suchergebnisse - Troelstra, Anne S. 1939-2019

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    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
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Choice sequences
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Computability of terms and notations of realizability for intuitionistic analysis
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 2000
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Constructivism in mathematics: an introduction
    Band 1. (1988). - xx, 342, XIV Seiten
    von Troelstra, Anne S. 1939-2019, Dalen, Dirk van 1932-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Choice sequences: a chapter of intuitionistic mathematics
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Constructivizing results obtained for intuitionistic formal systems by means of classical semantics
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Completeness and validity for intuitionistic predicate logic
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Some models for intuitionistic finite type arithmetic with fan-functional
    von Troelstra, Anne S. 1939-2019

    Veröffentlicht 1974
    Buch


    Gespeichert in:

Suchwerkzeuge: