| Record ID | marc_columbia/Columbia-extract-20221130-016.mrc:120159597:1690 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-016.mrc:120159597:1690?format=raw |
LEADER: 01690cam a2200433 a 4500
001 7814184
005 20221201034604.0
008 080507r20022001enka b 001 0 eng
015 $aGBA2-W6183
020 $a0521527147
020 $a9780521527149
029 0 $aUKM$bbA2W6183
029 1 $aAU@$b000024697007
029 1 $aUNITY$b047204052
029 1 $aHR0$b0521527147
035 $a(OCoLC)ocm50054455
035 $a(NNC)7814184
035 $a7814184
040 $aUKM$cUKM$dOCL$dIOG$dUBA$dBAKER$dOCLCG$dNNC
050 4 $aQA9.46$b.B58 2002
082 04 $a511.3$221
100 1 $aBlackburn, Patrick,$d1959-$0http://id.loc.gov/authorities/names/n96118820
245 10 $aModal logic /$cPatrick Blackburn, Maarten De Rijke, Yde Venema.
260 $aCambridge :$bCambridge University Press,$c2002.
300 $a554 pages :$billustrations ;$c23 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aCambridge tracts in theoretical computer science ;$v53
500 $aOriginally published: 2001.
504 $aIncludes bibliographical references (p. 524-543) and index.
650 0 $aModality (Logic)$0http://id.loc.gov/authorities/subjects/sh85086410
650 7 $aLógica modal.$2larpcal
650 7 $aLógica matemática.$2larpcal
653 $aQA 9-10 Math - philosophy/logic
653 $aMath logic & foundations
700 1 $aRijke, Maarten de.$0http://id.loc.gov/authorities/names/n93035735
700 1 $aVenema, Yde,$d1963-$0http://id.loc.gov/authorities/names/n95062438
830 0 $aCambridge tracts in theoretical computer science ;$v53.$0http://id.loc.gov/authorities/names/n86714937
852 00 $bglx$hQA9.46$i.B58 2002g