| Record ID | marc_columbia/Columbia-extract-20221130-002.mrc:342350475:1389 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-002.mrc:342350475:1389?format=raw |
LEADER: 01389cam a2200361 a 4500
001 770615
005 20220526004618.0
008 890804s1989 enk b 001 0 eng
020 $a0521371813
035 $a(OCoLC)20170936
035 $a(OCoLC)ocm20170936
035 $a(CStRLIN)NYCG89-B57247
035 $9ADX0129CU
035 $a(NNC)770615
035 $a770615
040 $dIaU$dNNC
041 1 $aeng$hger
090 $aQA76.6$b.G555 1989g
100 1 $aGirard, Jean-Yves.$0http://id.loc.gov/authorities/names/n88081093
245 10 $aProofs and types /$cJean-Yves Girard ; Translated with appendices by Paul Taylor, Yves Lafont.
260 $aCambridge, [England] ;$aNew York :$bCambridge University Press,$c1989.
300 $axi, 176 pages ;$c26 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aCambridge tracts in theoretical computer science ;$v7
500 $aTranslated from the French.
504 $aBibliography: p. 162-165.
500 $aIncludes index.
650 0 $aComputer programming.$0http://id.loc.gov/authorities/subjects/sh85107310
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
830 0 $aCambridge tracts in theoretical computer science ;$v7.$0http://id.loc.gov/authorities/names/n86714937
852 00 $boff,eng$hQA76.6$i.G555 1989g