jump to search box

Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer.

Availability

Online

At the Library

Other libraries

Author/Creator:
Schwichtenberg, Helmut, 1942-
Language:
English.
Publication date:
2012
Imprint:
Ithaca, NY : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2012.
Format:
  • Book
  • xiii, 465 p. : ill. ; 24 cm.
Bibliography:
Includes bibliographical references (p. 431-455) and index.
Contributor:
Wainer, S. S.
Association for Symbolic Logic.
Series:
Perspectives in logic.
Subjects:
ISBN:
9780521517690
0521517699

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top