| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:423831932:1455 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:423831932:1455?format=raw |
LEADER: 01455nam a22004455a 4500
001 013370950-7
005 20121109191238.0
008 100301s2006 xxu| s ||0| 0|eng d
020 $a9780387310725$99780387310725 (ebk.)
020 $a9780387310725
024 7 $a10.1007/0-387-31072-X$2doi
035 $a(Springer)9780387310725
040 $aSpringer
050 4 $aQA8.9-10.3
072 7 $aPBC$2bicssc
072 7 $aPBCD$2bicssc
072 7 $aMAT018000$2bisacsh
082 04 $a511.3$223
100 1 $aGabbay, Dov M.
245 10 $aMathematical Problems from Applied Logic I :$bLogics for the XXIst Century /$cedited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
260 $aNew York, NY :$bSpringer New York,$c2006.
300 $bdigital.
490 0 $aInternational Mathematical Series,$x1571-5485 ;$v4
650 20 $aLogic.
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aLogic.
650 0 $aLogic design.
650 0 $aComputer science.
650 0 $aLogic, Symbolic and mathematical.
650 24 $aMathematical Logic and Foundations.
650 24 $aLogics and Meanings of Programs.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aMathematics of Computing.
700 1 $aGoncharov, Sergei S.
700 1 $aZakharyaschev, Michael.
776 08 $iPrinted edition:$z9780387286884
830 0 $aInternational mathematical series ;$v4.
988 $a20121006
906 $0VEN