| Record ID | harvard_bibliographic_metadata/ab.bib.14.20150123.full.mrc:278681069:1106 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.14.20150123.full.mrc:278681069:1106?format=raw |
LEADER: 01106cam a2200325Ma 4500
001 014209127-8
005 20141016104339.0
008 080502s2007 enka b 001 0 eng d
015 $aGBA905181$2bnb
016 7 $a014484471$2Uk
020 $a9781904987574 (pbk.)
020 $a1904987575 (pbk.)
035 0 $aocn266973289
040 $aUkCU$beng$cCUD$dUKM$dCDX$dYDXCP$dOCLCF
050 4 $aQA9$b.B769 2007
082 04 $a511.3$222
100 1 $aBrown, Chad E.
245 10 $aAutomated reasoning in higher-order logic :$bset comprehension and extensionality in Church's type theory /$cChad E. Brown.
260 $aLondon :$bCollege Publications,$cc2007.
300 $axviii, 542 p. :$bill. ;$c24 cm.
490 1 $aStudies in logic. Logic and cognitive systems ;$vv. 10
490 0 $aLogic and cognitive systems
504 $aIncludes bibliographical references and indexes.
650 0 $aType theory.
650 0 $aAutomatic theorem proving.
650 7 $aAutomatic theorem proving.$2fast
650 7 $aType theory.$2fast
830 0 $aStudies in logic ;$vv. 10.
988 $a20141015
906 $0OCLC