| Record ID | marc_loc_2016/BooksAll.2016.part08.utf8:140794195:896 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part08.utf8:140794195:896?format=raw |
LEADER: 00896cam a2200265 4500
001 74164942
003 DLC
005 20020711145412.0
008 740517s1971 no b 000 0 eng
010 $a 74164942
015 $aN***
040 $aDLC$cDLC$dDLC
050 00 $aQA9.35$b.J46
082 00 $a511/.3
100 1 $aJervell, Herman Ruge.
245 03 $aAn Herebrand [i.e. Herbrand] theorem for higher order logic$c[by H. R. Jervell.
246 3 $aHerebrand theorem for higher order logic
260 $aOslo,$bUniversitetet i Oslo, Matematisk institutt,$c1971]
300 $a29 l.$c30 cm.
490 1 $aPreprint series. Mathematics, 24
500 $aTitle from p. [4] of cover.
504 $aBibliography: leaf 29.
650 0 $aPredicate calculus.
740 0 $aHerbrand theorem for higher order logic.
810 1 $aOslo.$bUniversitet.$bMatematisk Institutt.$tPreprint series. Mathematics,$v24.