| Record ID | marc_columbia/Columbia-extract-20221130-031.mrc:280029271:3433 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-031.mrc:280029271:3433?format=raw |
LEADER: 03433cam a2200733M 4500
001 15139916
005 20220604234658.0
006 m o d
007 cr |||||||||||
008 190909s2019 enk o 000 0 eng d
035 $a(OCoLC)on1117638451
035 $a(NNC)15139916
040 $aYDX$beng$epn$cYDX$dTYFRS$dEBLCP$dUKMGB$dOCLCF$dUKAHL$dOCLCQ$dN$T$dK6U$dOCLCO
015 $aGBB9F6747$2bnb
016 7 $a019541305$2Uk
019 $a1119531048$a1119714889
020 $a0429308329$q(electronic bk.)
020 $a9780429308321$q(electronic bk.)
020 $a9781000314014$q(electronic bk. ;$qEPUB)
020 $a1000314014$q(electronic bk. ;$qEPUB)
020 $a1000242137$q(electronic bk. ;$qPDF)
020 $a9781000278071$q(electronic bk. ;$qMobipocket)
020 $a1000278077$q(electronic bk. ;$qMobipocket)
020 $a9781000242133$q(electronic bk.)
020 $z9780367289577$q(hbk.)
024 8 $a10.4324/9780429308321$2doi
035 $a(OCoLC)1117638451$z(OCoLC)1119531048$z(OCoLC)1119714889
037 $a9780429308321$bTaylor & Francis
050 4 $aBC135
072 7 $aPHI$x000000$2bisacsh
072 7 $aHP$2bicssc
082 04 $a160$223
049 $aZCUA
100 1 $aPollock, John L.
245 10 $aTECHNICAL METHODS IN PHILOSOPHY
260 $aLONDON :$bROUTLEDGE,$c2019.
300 $a1 online resource
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
520 $aThis book introduces the technical tools and concepts that are indispensable for advanced work in philosophy. Beginning with the fundamentals of set theory, the author guides the reader through relations, functions and the theory of arithmetic before using these tools to clarify the metatheory of the predicate calculus. There are discussions of recursive definitions, Godel's Theorem, and completeness for the predicate calculus. The text emphasizes the structure of these systems and the metatheory behind them.
545 0 $aJohn L. Pollock is professor of philosophy at the University of Arizona. Joseph Cruz is assistant professor of philosophy and cognitive science at Hampshire College in Amherst, Massachusetts.
505 0 $aPart 1 Set theory: the logical framework; the basic concepts of set theory; relations; functions; recursive definitions; arithmetic. Part 2 Logic: the predicate calculus; first-order theories; higher order logic.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aSet theory.
650 0 $aPredicate calculus.
650 0 $aFirst-order logic.
650 0 $aMetatheory.
650 6 $aLogique symbolique et mathématique.
650 6 $aThéorie des ensembles.
650 6 $aCalcul des prédicats.
650 6 $aLogique du premier ordre.
650 6 $aMétathéorie.
650 7 $aPHILOSOPHY$xGeneral.$2bisacsh
650 7 $aFirst-order logic.$2fast$0(OCoLC)fst00925803
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aMetatheory.$2fast$0(OCoLC)fst01018338
650 7 $aPredicate calculus.$2fast$0(OCoLC)fst01075023
650 7 $aSet theory.$2fast$0(OCoLC)fst01113587
655 0 $aElectronic books.
655 4 $aElectronic books.
776 08 $iPrint version:$z9780367289577
856 40 $uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio15139916$zTaylor & Francis eBooks
852 8 $blweb$hEBOOKS