| Record ID | marc_loc_2016/BooksAll.2016.part36.utf8:63203121:618 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part36.utf8:63203121:618?format=raw |
LEADER: 00618cam a22001937a 4500
001 2008554225
003 DLC
005 20121023083405.0
008 080303s2003 ja 000 0 eng
010 $a 2008554225
040 $aDLC$cDLC
041 0 $aeng$ajpn
050 00 $aMLCSJ 2008/00085 (Q)
100 1 $aSimpson, Alex.
245 10 $aComputational adequacy for recursive types in models of intuitionistic set theory /$cby Alex Simpson.
260 $aKyoto, Japan :$bKyōto Daigaku Sūri Kaiseki Kenkyūjo,$c2003.
300 $a78 p. ;$c21 cm.
490 0 $aRIMS ;$v1410
710 2 $aKyōto Daigaku.$bSūri Kaiseki Kenkyūjo.