Record ID | marc_loc_2016/BooksAll.2016.part08.utf8:140778382:757 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part08.utf8:140778382:757?format=raw |
LEADER: 00757nam a2200229 4500
001 74164921
003 DLC
005 19740603000000.0
008 740517s1971 no b 00000 eng
010 $a 74164921
015 $aN***
050 0 $aQA9.35$b.J47
082 $a511/.3
100 10 $aJervell, Herman Ruge.
245 10 $aCraig's interpolation theorem for the intuitionistic logic of constant domains.
260 0 $a[Oslo,$bUniversitetet i Oslo, Matematisk institutt,$c1971]
300 $a[1] 10 l.$c30 cm.
490 1 $aPreprint series. Mathematics, 22
504 $aBibliography: leaf 10.
650 0 $aPredicate calculus.
650 0 $aIntuitionistic mathematics.
810 1 $aOslo.$bUniversitet.$bMatematisk Institutt.$tPreprint series. Mathematics,$v20.