| LDR | 03273cam a2200529 i 4500 | ||
| 001 | 001387565 | ||
| 003 | MiAaHDL | ||
| 005 | 20241229000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 007 | ta | ||
| 008 | 720803t19661966nyu b 001 0 eng | ||
| 010 | ⊔ | ⊔ | ‡a 66011147 |
| 016 | 7 | ⊔ | ‡a003019183 ‡2Uk |
| 016 | ⊔ | ⊔ | ‡a(AMICUS)000004237107 |
| 035 | ⊔ | ⊔ | ‡a(MiU)990013875650106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990013875650106381 |
| 035 | ⊔ | ⊔ | ‡z(MiU)MIU01000000000000001387565-goog |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)372938 |
| 035 | ⊔ | ⊔ | ‡a(SAZTEC)004804820 |
| 035 | ⊔ | ⊔ | ‡a(SAZTEC)004804810 |
| 035 | ⊔ | ⊔ | ‡a(CaOTULAS)176373960 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph001387565 |
| 040 | ⊔ | ⊔ | ‡aDLC ‡beng ‡erda ‡cWSU ‡dOCL ‡dSER ‡dNLGGC ‡dLVB ‡dOCLCG ‡dSTF ‡dYVO ‡dUKMGB ‡dOCLCF ‡dOCLCQ ‡dKSU ‡dCNUTO ‡dNLC ‡dDHA ‡dOCLCQ ‡dHUELT ‡dOCLCQ ‡dU3G ‡dNNM ‡dIL4J6 ‡dOCLCO ‡dOCLCQ |
| 049 | ⊔ | ⊔ | ‡aEYMG |
| 050 | 0 | 4 | ‡aBC135 ‡b.Q485 1966 |
| 055 | ⊔ | 1 | ‡aBC135.Q485 |
| 080 | ⊔ | ⊔ | ‡a517.11 |
| 080 | ⊔ | ⊔ | ‡a164 |
| 082 | 0 | 4 | ‡a164.08 |
| 084 | ⊔ | ⊔ | ‡a31.10 ‡2bcl |
| 084 | ⊔ | ⊔ | ‡a08.33 ‡2bcl |
| 100 | 1 | ⊔ | ‡aQuine, W. V. ‡q(Willard Van Orman), ‡eauthor. ‡0http://id.loc.gov/authorities/names/n80061808 ‡1http://id.loc.gov/rwo/agents/n80061808 |
| 245 | 1 | 0 | ‡aSelected logic papers / ‡cby W.V. Quine. |
| 264 | ⊔ | 4 | ‡c©1966 |
| 264 | ⊔ | 1 | ‡aNew York : ‡bRandom House, ‡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). |
| 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. |
| 530 | ⊔ | ⊔ | ‡aAlso issued online. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 7 | ‡aLogic, Symbolic and mathematical. ‡2nli |
| 650 | 1 | 7 | ‡aLogica. ‡2gtt |
| 650 | ⊔ | 7 | ‡aLogic, Symbolic and mathematical. ‡2fast ‡0http://id.worldcat.org/fast/1002068 |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical. ‡0http://id.loc.gov/authorities/subjects/sh85078115 |
| 899 | ⊔ | ⊔ | ‡a39015065515242 ‡bBuhr A 613821 |
| CID | ⊔ | ⊔ | ‡a001387565 |
| DAT | 0 | ⊔ | ‡a20241218020823.0 ‡b20241229000000.0 |
| DAT | 1 | ⊔ | ‡a20250103235348.0 ‡b2025-01-04T16:11:11Z |
| DAT | 2 | ⊔ | ‡a2024-10-04T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-009 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990013875650106381 ‡aMiU ‡bSDR ‡cMIU ‡f001387565 ‡pmdp.39015065515242 ‡sMIU ‡1990013875650106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20250104 ‡sgoogle ‡umdp.39015065515242 ‡y1966 ‡ric ‡qbib ‡tUS bib date2, date type t >= 1930 |