Bounded arithmetic / Samuel R. Buss.

Author
Buss, Samuel R. [Browse]
Format
Book
Language
English
Published/​Created
Napoli : Bibliopolis, c1986.
Description
221 p. ; 24 cm.

Details

Subject(s)
Series
  • Studies in proof theory. Lecture notes ; 3. [More in this series]
  • Studies in proof theory. Lecture notes ; 3
Notes
Includes indexes.
Bibliographic references
Bibliography: p. [215]-216.
ISBN
  • 8870881504 (pbk.)
  • 9788870881509 (pbk.)
LCCN
87134102
OCLC
17649713
RCP
N - S

Supplementary Information

Other versions