| Record ID | marc_columbia/Columbia-extract-20221130-019.mrc:136046926:1122 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-019.mrc:136046926:1122?format=raw |
LEADER: 01122cam a2200337Ia 4500
001 9412659
005 20120620224310.0
008 111221s2012 nyua b 001 0 eng d
015 $aGBB200039$2bnb
016 7 $a015996911$2Uk
020 $a9780521517690
020 $a0521517699
029 1 $aNZ1$b14074648
035 $a(OCoLC)ocn772965072
035 $a(OCoLC)772965072
035 $a(NNC)9412659
040 $aUKMGB$cUKMGB$dYDXCP$dBWX$dCUD$dUAT$dVGM
050 4 $aQA9.54$b.S39 2012
082 04 $a511.352$223
100 1 $aSchwichtenberg, Helmut,$d1942-
245 10 $aProofs and computations /$cHelmut Schwichtenberg, Stanley S. Wainer.
260 $aIthaca, NY :$bAssociation for Symbolic Logic ;$aCambridge :$bCambridge University Press,$c2012.
300 $axiii, 465 p. :$bill. ;$c24 cm.
490 1 $aPerspectives in logic
504 $aIncludes bibliographical references (p. 431-455) and index.
650 0 $aComputable functions.
650 0 $aProof theory.
700 1 $aWainer, S. S.
710 2 $aAssociation for Symbolic Logic.
830 0 $aPerspectives in logic.
852 00 $bglx$hQA9.54$i.S39 2012g