| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:313715986:1810 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:313715986:1810?format=raw |
LEADER: 01810fam a2200397 a 4500
001 1362231
005 20220602015448.0
008 930719s1993 gw a b 100 0 eng
010 $a 93005923
020 $a0387571841
035 $a(OCoLC)28587323
035 $a(OCoLC)ocm28587323
035 $9AHL3249CU
035 $a(NNC)1362231
035 $a1362231
040 $aDLC$cDLC$dNNC
050 00 $aQA76.9.A96$bK87 1993
082 00 $a511.3$220
111 2 $aKurt Gödel Colloquium$n(3rd :$d1993 :$cBrno, Czech Republic)
245 10 $aComputational logic and proof theory :$bThird Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /$cGeorg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1993.
300 $axi, 348 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v713
500 $aSponsored by Kurt Gödel Society.
504 $aIncludes bibliographical references.
650 0 $aAutomatic theorem proving$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2007101477
650 0 $aLogic, Symbolic and mathematical$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107112
700 1 $aGottlob, G.$q(Georg)$0http://id.loc.gov/authorities/names/n88292349
700 1 $aLeitsch, Alexander,$d1952-$0http://id.loc.gov/authorities/names/n93069398
700 1 $aMundici, Daniele,$d1946-$0http://id.loc.gov/authorities/names/n93069402
710 2 $aKurt Gödel Society.$0http://id.loc.gov/authorities/names/n93069421
830 0 $aLecture notes in computer science ;$v713.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.A96$iK87 1993