| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:86304629:1589 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:86304629:1589?format=raw |
LEADER: 01589cam a2200385 a 4500
001 1070817
005 20220601203947.0
008 920320s1991 maua b 001 0 eng
010 $a 91026116
020 $a3764335947 (hard : acid-free) :$c$49.50
020 $a0817635947 (hard : acid-free) :$c$49.50
035 $a(OCoLC)24175029
035 $a(OCoLC)ocm24175029
035 $a(CStRLIN)NYCG92-B19811
035 $9AFZ5484CU
035 $a(NNC)1070817
035 $a1070817
040 $aDLC$cDLC$dDLC
050 00 $aQA76.7$b.S82 1991
082 00 $a005.13$220
090 $aQA76.7$b.S82 1991
100 1 $aStreicher, Thomas,$d1958-$0http://id.loc.gov/authorities/names/n91067478
245 10 $aSemantics of type theory :$bcorrectness, completeness, and independence results /$cThomas Streicher.
260 $aBoston :$bBirkhäuser,$c1991.
300 $axii, 298 pages :$billustrations ;$c25 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aProgress in theoretical computer science
504 $aIncludes bibliographical references (p. 292-295) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.$0http://id.loc.gov/authorities/subjects/sh85107316
650 0 $aFunctional programming (Computer science)$0http://id.loc.gov/authorities/subjects/sh87007844
650 0 $aType theory.$0http://id.loc.gov/authorities/subjects/sh85139126
830 0 $aProgress in theoretical computer science.$0http://id.loc.gov/authorities/names/n91020051
852 00 $boff,eng$hQA76.7$i.S82 1991