| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:92581198:1084 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:92581198:1084?format=raw |
LEADER: 01084cam a2200301 a 4500
001 91164927
003 DLC
005 20000309133636.0
008 910621s1990 pl b 001 0 pol c
010 $a 91164927
020 $a8323203555
040 $aMiU$cMiU$dDLC
041 0 $apol$beng
050 14 $aQA9.615$b.M87 1990
100 1 $aMurawski, Roman.
245 10 $aFunkcje rekurencyjne i elementy metamatematyki :$bproblemy zupełności, rozstrzygalności, twierdzenia Gödla /$cRoman Murawski.
250 $aWyd. 1.
260 $aPoznań :$bWydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu,$c1990.
300 $a186 p. ;$c24 cm.
490 1 $aSeria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu,$x0551-6625 ;$vnr 11
500 $aSummary in English.
504 $aIncludes bibliographical references (p. [175]-179) and index.
650 0 $aRecursive functions.
650 0 $aMetamathematics.
650 0 $aCompleteness theorem.
650 0 $aDecidability (Mathematical logic)
650 0 $aGödel's theorem.
830 0 $aSeria Matematyka ;$vnr. 11.