| Record ID | marc_loc_updates/v36.i11.records.utf8:3065053:1069 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:3065053:1069?format=raw |
LEADER: 01069cam a2200277 a 4500
001 95022191
003 DLC
005 20080311075930.0
008 950517s1995 ne a b 001 0 eng
010 $a 95022191
020 $a0792335864 (hb : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aBC199.T4$bO37 1995
082 00 $a160$220
100 1 $aØhrstrøm, Peter.
245 10 $aTemporal logic :$bfrom ancient ideas to artificial intelligence /$cby Peter Øhrstrøm and Per F.V. Hasle.
260 $aDordrecht ;$aBoston :$bKluwer Academic Publishers,$cc1995.
300 $aviii, 413 p. :$bill. ;$c23 cm.
440 0 $aStudies in linguistics and philosophy ;$vv. 57
504 $aIncludes bibliographical references (p. 386-404) and index.
650 0 $aTense (Logic)
650 0 $aLogic, Symbolic and mathematical.
650 0 $aTime.
700 1 $aHasle, Per F. V.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0823/95022191-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0823/95022191-t.html