| Record ID | marc_loc_2016/BooksAll.2016.part28.utf8:55175808:881 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part28.utf8:55175808:881?format=raw |
LEADER: 00881cam a2200289 a 4500
001 99169481
003 DLC
005 20000627173807.0
008 990204s1998 gw a b 001 0 eng d
010 $a 99169481
020 $a3860646168 (pt. 1)
020 $a3860646176 (pt. 2)
035 $a(OCoLC)40220662
040 $aAZS$cAZS$dOHX$dDLC
042 $alccopycat
050 00 $aQA248$b.K748 1998
082 00 $a511.3/22$221
100 1 $aKuck, Conrad.
245 10 $aIntuitionistic set theory, or, How to construct a proof /$cConrad Kuck.
246 30 $aIntuitionistic set theory
246 30 $aHow to construct a proof
260 $aHamburg :$bVerlag Dr. Kovač,$cc1998.
300 $a2 v :$bill. ;$c21 cm.
440 0 $aForschungsergebnisse zur Informatik ;$vBd. 33
504 $aIncludes bibliographical references and index.
650 0 $aSet theory.
650 0 $aProof theory.