| Record ID | marc_western_washington_univ/wwu_bibs.mrc_revrev.mrc:355698481:998 |
| Source | Western Washington University |
| Download Link | /show-records/marc_western_washington_univ/wwu_bibs.mrc_revrev.mrc:355698481:998?format=raw |
LEADER: 00998nam 2t00301ua 4500
003 CStRLIN
005 19940805000000.0
008 890113s1988 xx b 000 0 eng d
040 $aWaBeW$cWaBeW
090 $aLD5778.9$b.D3458
100 1 $aDaugherty, Padric.
245 12 $aA decidable sequent calculus theorem prover using controlled contraction /$cby Padric Daugherty.
260 $c1988.
300 $avi, 136 leaves ;$c29 cm.
500 $aTypescript (photocopy)
502 $aThesis (M.S.)--Western Washington University, 1988.
504 $aBibliography: leaf 136.
650 0 $aAutomatic theorem proving.
650 0 $aProof theory.
650 0 $aPredicate calculus.
650 0 $aDecidability (Mathematical logic)
690 $aMasters thesis$xWestern Washington University$xComputer Science.
740 01 $aControlled contraction.
907 $a.b13887610$bmulti$c-
902 $a070705
998 $b1$c950214$dm$et$f-$g2
941 $aWAWC89-B219
940 $aLD5778.9$b.D3458$lGenO$z090