Showing 1 - 6 results of 6 for search 'Wainer, S. S.', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proofs and Computations.

    Proofs and Computations. by Schwichtenberg, Helmut

    Published 2011
    Other Authors: “…Wainer, S. S.…”
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Computability, enumerability, unsolvability : directions in recursion theory /

    Computability, enumerability, unsolvability : directions in recursion theory /

    Published 1996
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /

    Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /

    Published 1980
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

    Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

    Published 1980
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990

    Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990

    Published 1993
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Computability, enumerability, unsolvability directions in recursion theory

    Computability, enumerability, unsolvability directions in recursion theory

    Published 1996
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: