It looks like you're offline.
Open Library logo
additional options menu

MARC Record from Library of Congress

Record ID marc_loc_updates/v36.i11.records.utf8:198063:939
Source Library of Congress
Download Link /show-records/marc_loc_updates/v36.i11.records.utf8:198063:939?format=raw

LEADER: 00939cam a22002654a 4500
001 00044401
003 DLC
005 20080311080338.0
008 000609s2000 ne b 001 0 eng
010 $a 00044401
020 $a0792364732 (hb : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9.54$b.G33 2000
082 00 $a511.3$221
100 1 $aGabbay, Dov M.,$d1945-
245 10 $aGoal-directed proof theory /$cby Dov M. Gabbay and Nicola Olivetti.
260 $aDordrecht ;$aBoston :$bKluwer Academic,$c2000.
300 $ax, 266 p. :$bill. ;$c25 cm.
440 0 $aApplied logic series ;$vv. 21
504 $aIncludes bibliographical references and index.
650 0 $aProof theory.
700 1 $aOlivetti, Nicola.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0823/00044401-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0823/00044401-t.html