Search results for: Wainer, S. S.
Showing 1 - 10 results of 10
Refine Results
-
1
Proofs and computations
Authors: Schwichtenberg, Helmut, 1942-, Wainer, S. S.
Published: Cambridge University Press, 2012Physical Description: 1 online resource (xiii, 465 pages) : digital, PDF file(s).Holdings: Loading…Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Electronic eBook -
2
Proof and computations
Authors: Schwichtenberg, Helmut, 1942-Other Authors: “…Wainer, S. S.…”
Published: Cambridge University Press, 2012
Physical Description: xiii, 465 pages : illustrations ; 25 cm.Holdings: Loading…
Book Loading… -
3
Proofs and computations
Authors: Schwichtenberg, Helmut, 1942-Other Authors: “…Wainer, S. S.…”
Published: Association for Symbolic Logic ; Cambridge University Press, 2012
Holdings: Loading…EBSCO eBooks: 2012 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 2012 (EBSCO)
Electronic eBook -
4
Proofs and computations
Authors: Schwichtenberg, Helmut, 1942-Other Authors: “…Wainer, S. S.…”
Published: Association for Symbolic Logic ; Cambridge University Press, 2012
Holdings: Loading…ProQuest Ebook Central - Academic Complete: 2011 (Ebook Central @ Proquest)
Electronic eBook -
5
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: Cambridge University Press, 1980Other Authors:Physical Description: 319 pages : illustrations ; 23 cm.Holdings: Loading…
Conference Proceeding Book Loading… -
6
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990
Published: Cambridge University Press, 1992Other Authors:Physical Description: x, 306 pages ; 24 cmHoldings: Loading…
Book Loading… -
7
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979
Published: Cambridge University Press, 1980Other Authors:Physical Description: 1 online resource (319 pages) : digital, PDF file(s).Holdings: Loading…Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Electronic Conference Proceeding eBook -
8
Computability, enumerability, unsolvability : directions in recursion theory
Published: Cambridge University Press, 1996Other Authors:Physical Description: vii, 347 pages : illustrations ; 23 cm.Holdings: Loading…
Book Loading… -
9
Computability, enumerability, unsolvability : directions in recursion theory
Published: Cambridge University Press, 1996Other Authors:Physical Description: 1 online resource (vii, 347 pages) : digital, PDF file(s).Holdings: Loading…Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
Electronic eBook -
10
Computability, enumerability, unsolvability directions in recursion theory
Published: Cambridge University Press, 1996Other Authors:Holdings: Loading…EBSCO eBooks: 1996 (EBSCO)
eBook Academic Collection (EBSCOhost) – North America: 1996 (EBSCO)
Electronic eBook