Search Results - Troelstra, Anne S. 1939-2019

Filter by
  1. 1
    Cover Image

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

    Published 1992
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1976
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1975
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1974
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1969
    Read online
    Electronic eBook


    Saved in:
  6. 6
    Cover Image

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

    Published 2000
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1977
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1975
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1974
    Book


    Saved in:
  10. 10
    Cover Image

    Choice sequences
    by Troelstra, Anne S. 1939-2019

    Published 1974
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1974
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1971
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 2000
    Read online
    Electronic eBook


    Saved in:
  14. 14
    Cover Image

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

    Published 1996
    Book


    Saved in:
  15. 15
    Cover Image

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

    Published 1988
    Book


    Saved in:
  16. 16
    Cover Image

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

    Published 1988
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 1977
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 1977
    Book


    Saved in:
  19. 19
    Cover Image

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

    Published 1976
    Book


    Saved in:
  20. 20
    Cover Image

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

    Published 1974
    Book


    Saved in:

Search Tools: