Search results for: Wainer, S. S.

Showing 1 - 10 results of 10 Refine Results
  1. 1

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-, Wainer, S. S.
    Published: Cambridge University Press, 2012
    Physical Description: 1 online resource (xiii, 465 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  2. 2

    Proof and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Cambridge University Press, 2012
    Other Authors: “…Wainer, S. S.…”
    Physical Description: xiii, 465 pages : illustrations ; 25 cm.
    Book
  3. 3

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Association for Symbolic Logic ; Cambridge University Press, 2012
    Other Authors: “…Wainer, S. S.…”
    EBSCO eBooks: 2012 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2012 (EBSCO)
    Electronic eBook
  4. 4

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Association for Symbolic Logic ; Cambridge University Press, 2012
    Other Authors: “…Wainer, S. S.…”
    ProQuest Ebook Central - Academic Complete: 2011 (Ebook Central @ Proquest)
    Electronic eBook
  5. 5

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

    Published: Cambridge University Press, 1980
    Other Authors:
    Physical Description: 319 pages : illustrations ; 23 cm.
    Conference Proceeding Book
  6. 6

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

    Published: Cambridge University Press, 1992
    Other Authors:
    Physical Description: x, 306 pages ; 24 cm
    Book
  7. 7

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

    Published: Cambridge University Press, 1980
    Other Authors:
    Physical Description: 1 online resource (319 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic Conference Proceeding eBook
  8. 8

    Computability, enumerability, unsolvability : directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors:
    Physical Description: vii, 347 pages : illustrations ; 23 cm.
    Book
  9. 9

    Computability, enumerability, unsolvability : directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors:
    Physical Description: 1 online resource (vii, 347 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  10. 10

    Computability, enumerability, unsolvability directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors:
    EBSCO eBooks: 1996 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1996 (EBSCO)
    Electronic eBook