| Record ID | marc_records_scriblio_net/part27.dat:91709592:724 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part27.dat:91709592:724?format=raw |
LEADER: 00724pam 2200217 a 4500
001 98043371
003 DLC
005 19990204123407.0
008 980901s1999 gw b 001 0 eng
010 $a 98043371
020 $a3540648828 (hc. : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.7$b.S537 1999
082 00 $a511.3$221
100 1 $aSimpson, Stephen G.$q(Stephen George),$d1945-
245 10 $aSubsystems of second order arithmetic /$cStephen G. Simpson.
260 $aBerlin ;$aNew York :$bSpringer,$cc1999.
300 $axiv, 444 p. ;$c25 cm.
440 0 $aPerspectives in mathematical logic,$x0172-6641
504 $aIncludes bibliographical references (p. [413]-424) and index.
650 0 $aPredicate calculus.