| Record ID | marc_loc_updates/v36.i11.records.utf8:4682702:1144 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:4682702:1144?format=raw |
LEADER: 01144cam a22002894a 4500
001 99041793
003 DLC
005 20080311080418.0
008 990721s1999 ne b 001 0 eng
010 $a 99041793
020 $a0792359046 (acid-free paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9.615$b.M8713 1999
082 00 $a511.3/5$221
100 1 $aMurawski, Roman.
240 10 $aFunkcje rekurencyjne i elementy metamatematyki.$lEnglish
245 10 $aRecursive functions and metamathematics :$bproblems of completeness and decidability, Gödel's theorems /$cRoman Murawski.
260 $aDordrecht, Netherlands ;$aBoston :$bKluwer Academic ,$cc1999.
300 $axii, 391 p. ;$c25 cm.
440 0 $aSynthese library ;$vv. 286
504 $aIncludes bibliographical references (p. 341-375) and index.
650 0 $aRecursive functions.
650 0 $aDecidability (Mathematical logic)
650 0 $aGödel's theorem.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0823/99041793-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0823/99041793-t.html