| Record ID | ia:logicinductionse0000fors |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logicinductionse0000fors/logicinductionse0000fors_marc.xml |
| Download MARC binary | https://www.archive.org/download/logicinductionse0000fors/logicinductionse0000fors_meta.mrc |
LEADER: 02618cam 22006134a 4500
001 ocm50958897
003 OCoLC
005 20220107044612.0
008 021029s2003 enka b 001 0 eng
010 $a 2002041001
040 $aDLC$beng$cDLC$dBAKER$dBTCTA$dLVB$dYDXCP$dIG#$dOCLCF$dOCLCQ$dUZ0$dSTF$dUKM$dIAY$dI8H$dHEBIS$dDEBBG$dOCLCO$dUKMGB$dOCLCO
015 $aGBA3X7561$2bnb
016 7 $a006624885$2Uk
019 $a52058010$a52885266$a1170602961$a1171547473$a1246503456
020 $a0521826217
020 $a9780521826211
020 $a0521533619$q(pb.)
020 $a9780521533614$q(pb.)
035 $a(OCoLC)50958897$z(OCoLC)52058010$z(OCoLC)52885266$z(OCoLC)1170602961$z(OCoLC)1171547473$z(OCoLC)1246503456
042 $apcc
050 00 $aQA248$b.F69 2003
082 00 $a511.3/22$221
084 $aSK 150$2rvk
084 $aSK 130$2rvk
100 1 $aForster, T. E.
245 10 $aLogic, induction and sets /$cThomas Forster.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c2003.
300 $ax, 234 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLondon Mathematical Society student texts ;$v56
504 $aIncludes bibliographical references (pages 231-232) and index.
505 00 $g1.$tDefinitions and notations --$g2.$tRecursive datatypes --$g3.$tPartially ordered sets --$g4.$tPropositional calculus --$g5.$tPredicate calculus --$g6.$tComputable functions --$g7.$tOrdinals --$g8.$tSet theory --$g9.$tAnswers to selected questions.
540 $aCurrent Copyright Fee: GBP22.50$c0.$5Uk
650 0 $aAxiomatic set theory.
650 6 $aThéorie axiomatique des ensembles.
650 7 $aAxiomatic set theory.$2fast$0(OCoLC)fst00824491
650 7 $aAxiomatische Mengenlehre$2gnd
650 7 $aMathematische Logik$2gnd
830 0 $aLondon Mathematical Society student texts ;$v56.
856 41 $3Table of contents$uhttp://catdir.loc.gov/catdir/toc/cam031/2002041001.html
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/description/cam031/2002041001.html
938 $aBaker & Taylor$bBKTY$c33.99$d33.99$i0521533619$n0004113384$sactive
938 $aBaker and Taylor$bBTCP$n2002041001
938 $aIngram$bINGR$n9780521826211
938 $aYBP Library Services$bYANK$n1931037
029 1 $aIG#$b9780521826211
029 1 $aNZ1$b7285269
029 1 $aDEBBG$bBV014878737
029 1 $aHEBIS$b113044216
029 1 $aUKMGB$b006624885
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 202 OTHER HOLDINGS