| LC control no. | n 86854870 |
|---|---|
| Personal name heading | Buss, Samuel R. |
| Found in | nuc86-88636: His Bounded arithmetic, 1985 (hdg. on NjP rept.: Buss, Samuel R.) Proof complexity and feasible arithmetics, 1997: CIP t.p. (Samuel R. Buss) data sht. (b. Aug. 6, 1957) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
