| Record ID | OpenLibraries-Trent-MARCs/tier1.mrc:25480867:886 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier1.mrc:25480867:886?format=raw |
LEADER: 00886cam 2200265 a 4500
001 0116402984342
008 891102s1989 enk b 1 eng c
020 $a0521371813
035 $a(Sirsi) ABA-3462
035 $a11830735.C..
035 0 $aA891587$fcc
040 $aOPET$beng
050 4 $aQA9.54$bG58 1989
090 0 $aQA 9.54 .G58 1989$bb
100 1 $aGirard, Jean-Yves.
245 10 $aProofs and types /$cJean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.
260 $aCambridge :$bCambridge University Press,$cc1989.
300 $axi, 176 p. ;$c26 cm.
440 0 $aCambridge tracts in theoretical computer science ;$v7.
504 $aIncludes bibliographical references (p. 162-1650 and index.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aProof theory.
650 0 $aType theory.
700 10 $aLafont, Yves.
700 10 $aTaylor, Paul.