| Record ID | marc_loc_2016/BooksAll.2016.part14.utf8:29200863:808 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part14.utf8:29200863:808?format=raw |
LEADER: 00808cam a2200265 a 4500
001 82008055
003 DLC
005 19920825142435.6
008 820512s1982 enka b 00110 eng
010 $a 82008055 //r92
020 $a0198531788 :$c$19.50
040 $aDLC$cDLC$dDLC
050 00 $aQA241$b.F57 1982
082 00 $a512/.72$219
100 10 $aFisher, Alec.
245 10 $aFormal number theory and computability :$ba workbook /$cby Alec Fisher.
260 0 $aOxford [Oxfordshire] :$bClarendon Press,$c1982.
300 $axiii, 190 p. :$bill. ;$c25 cm.
440 0 $aOxford logic guides ;$v7
440 0 $aOxford science publications
504 $aBibliography: p. [187]-188.
500 $aIncludes index.
650 0 $aNumber theory.
650 0 $aGödel's theorem.
650 0 $aIncompleteness theorems.