| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:2695074546:868 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:2695074546:868?format=raw |
LEADER: 00868nam a22002535a 4500
001 19844962d2054f739146b8859ab8acf3
003 UK-BiTAL
005 20050706000758.0
008 940704s1994 stk b 000 ||eng|d
015 $aGB9454616$2bnb
035 $a()b9454616
035 $a(StEdNL)E137312960
040 $aStEdNL$cStEdNL$dUK-BiTAL
100 1 $aPower, A. J.
245 10 $aWhy tricategories? /$cA.J. Power.
260 $aEdinburgh :$bLFCS, Dept. of Computer Science, University of Edinburgh,$c1994.
300 $a20 p. ;$c21 cm.
440 0 $aLFCS report series ;$vECS-LFCS-94-289
500 $aCaption title.
504 $aIncludes bibliographical references.
650 0 $aCategories (Mathematics)
650 0 $aTriples, Theory of.
650 0 $aLogic, Symbolic and mathematical.
710 2 $aUniversity of Edinburgh.$bLaboratory for Foundations of Computer Science.