| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:425621055:1140 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:425621055:1140?format=raw |
LEADER: 01140nam a22003855a 4500
001 013373036-0
005 20121109192248.0
008 100301s2008 sz | s ||0| 0|eng d
020 $a9783764387082$99783764387082 (ebk.)
020 $a9783764387082
024 7 $a10.1007/978-3-7643-8708-2$2doi
035 $a(Springer)9783764387082
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 $aDiaconescu, Răzvan.
245 10 $aInstitution-independent Model Theory /$cby Răzvan Diaconescu.
260 $aBasel :$bBirkhäuser Basel,$c2008.
300 $bdigital.
490 0 $aStudies in Universal Logic
650 20 $aLogic.
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aLogic.
650 0 $aComputer science.
650 0 $aLogic, Symbolic and mathematical.
650 24 $aMathematical Logic and Foundations.
650 24 $aMathematical Logic and Formal Languages.
776 08 $iPrinted edition:$z9783764387075
830 0 $aStudies in universal logic.
988 $a20121006
906 $0VEN