| Record ID | marc_marygrove/marygrovecollegelibrary.full.D20191108.T213022.internetarchive2nd_REPACK.mrc:29821838:3616 |
| Source | Marygrove College |
| Download Link | /show-records/marc_marygrove/marygrovecollegelibrary.full.D20191108.T213022.internetarchive2nd_REPACK.mrc:29821838:3616?format=raw |
LEADER: 03616cam a2200649Ii 4500
001 ocm00372938
003 OCoLC
005 20191109073314.6
007 ta
008 720803t19661966nyu b 001 0 eng
010 $a 66011147
040 $aDLC$beng$erda$cWSU$dOCL$dSER$dNLGGC$dLVB$dOCLCG$dSTF$dYVO$dUKMGB$dOCLCF$dOCLCQ$dKSU$dCNUTO$dNLC$dDHA$dOCLCQ$dHUELT$dOCLCQ$dU3G$dNNM
016 $a(AMICUS)000004237107
016 7 $a003019183$2Uk
019 $a220437677$a633361900$a977973187$a1087091637$a1119674286$a1124626644
029 1 $aAU@$b000006512762
029 1 $aAU@$b000027710149
029 1 $aAU@$b000045147146
029 1 $aAU@$b000053524753
029 1 $aAU@$b000055572272
029 1 $aDEBSZ$b001140418
029 1 $aNLC$b000004237107
029 1 $aNZ1$b4051013
029 1 $aNZ1$b896331
035 $a(OCoLC)00372938$z(OCoLC)220437677$z(OCoLC)633361900$z(OCoLC)977973187$z(OCoLC)1087091637$z(OCoLC)1119674286$z(OCoLC)1124626644
050 04 $aBC135$b.Q485 1966
055 1 $aBC135.Q485
080 $a164
080 $a517.11
082 04 $a164.08
084 $a08.33$2bcl
084 $a31.10$2bcl
084 $a160.4$2z
049 $aMAIN
100 1 $aQuine, W. V.$q(Willard Van Orman),$eauthor.
245 10 $aSelected logic papers /$cby W.V. Quine.
264 1 $aNew York :$bRandom House,$c[1966]
264 4 $c©1966
300 $ax, 250 pages ;$c22 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (pages 237-243) and index.
505 0 $aWhitehead and the rise of modern logic (1941) -- Logic, symbolic (1954) -- A method of generating part of arithmetic without use of intuitive logic (1934) -- Definition of substitution (1936) -- Concatenation as a basis for arithmetic (1946) -- Set-theoretic foundations for logic (1936) -- Logic based on inclusion and abstraction (1937) -- On ordered pairs and relations (1945-46) -- On w-inconsistency and a so-called axiom of infinity (1952) -- Element and number (1941) -- On an application of Tarski's theory of truth (1952) -- On Frege's way out (1954) -- Completeness of the propositional calculus (1937) -- On cores and prime implicants of truth functions (1958) -- Two theorems about truth functions (1951) -- On boolean functions (1949) -- On the logic of quantification (1945) -- A proof procedure for quantification theory (1954) -- Interpretations of sets of conditions (1953) -- Church's theorem on the decision problem (1954) -- Quantification and the empty domain (1953) -- Reduction to a dyadic predicate (1953) -- Variables explained away (1960).
530 $aAlso issued online.
520 $aA collection of 23 papers on mathematical logic covering such subjects as set theory, proof theory, truth functions, techniques of deduction, and other topics, written between 1934 and 1960.
583 $acommitment to retain$c20151208$2pda$5OTUTLD
583 1 $acommitted to retain$c20160630$d20310630$fEAST$uhttps://eastlibraries.org/retained-materials$5NcDaD$2pda
590 $bInternet Archive - 2
590 $bInternet Archive 2
650 0 $aLogic, Symbolic and mathematical.
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 17 $aLogica.$2gtt
776 08 $iOnline version:$aQuine, W.V. (Willard Van Orman).$tSelected logic papers.$dNew York, Random House [1966]$w(OCoLC)644425181
856 42 $3French equivalent / Équivalent français$uhttps://bac-lac.on.worldcat.org/oclc/1032901829
994 $a92$bERR
976 $a31927000333812