| Record ID | marc_loc_2016/BooksAll.2016.part05.utf8:146316637:638 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part05.utf8:146316637:638?format=raw |
LEADER: 00638nam a22001931 4500
001 63001533
003 DLC
005 19840815000000.0
008 840814s1959 hu a b 00000 ger
010 $a 63001533 /L/r842
040 $aDLC/ICU$cICU
050 0 $aBC135$b.S85
100 10 $aSurányi, János,$d1918-
245 10 $aReduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
260 0 $aBudapest,$bVerlag der Ungarischen Akademie der Wissenschaften,$c1959.
300 $a215 p.$billus.$c25 cm.
504 $aIncludes bibliography.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aRecursive functions.