| Record ID | marc_records_scriblio_net/part19.dat:134224162:656 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part19.dat:134224162:656?format=raw |
LEADER: 00656nam 2200229 a 4500
001 87134102
003 DLC
005 19880301153028.3
008 870422s1986 it b 00110 eng
010 $a 87134102
020 $a8870881504 (pbk.) :$cL45.000
050 0 $aQA9.56$b.B87 1986
082 0 $a511.3$219
100 10 $aBuss, Samuel R.
245 10 $aBounded arithmetic /$cSamuel R. Buss.
260 0 $aNapoli :$bBibliopolis,$cc1986.
300 $a221 p. ;$c24 cm.
440 0 $aStudies in proof theory ;$v3
504 $aBibliography: p. [215]-216.
500 $aIncludes indexes.
650 0 $aConstructive mathematics.
650 0 $aComputational complexity.