MARC record from Internet Archive

LEADER: 04617cam a22006731 4500
001 ocm00374905
003 OCoLC
005 20191109072057.9
008 721213s1957 njua b 001 0 eng
010 $a 57008153
040 $aDLC$beng$cDLC$dUKM$dTBS$dNLGGC$dAGL$dLVB$dWY@$dCRU$dNIALS$dZWZ$dUKMGB$dBDX$dOCLCF$dMXL$dOCLCQ$dCNUTO$dPHUST$dNTF$dOCLCQ$dCSJ$dDHA$dOCLCQ$dPEX$dOCLCQ$dUKUOY$dOCLCQ
015 $aGB5710714$2bnb
016 7 $aCAT10984499$2DNAL
016 7 $a003544197$2Uk
016 7 $a010283884$2Uk
019 $a6894448$a16772502$a978193313$a1027268473
020 $a0442080727
020 $a9780442080723
029 1 $aAU@$b000000637403
029 1 $aAU@$b000002465414
029 1 $aAU@$b000024068206
029 1 $aAU@$b000053820502
029 1 $aNZ1$b2920089
029 1 $aNZ1$b624992
029 1 $aUKMGB$b003544197
029 1 $aUKMGB$b010283884
035 $a(OCoLC)00374905$z(OCoLC)6894448$z(OCoLC)16772502$z(OCoLC)978193313$z(OCoLC)1027268473
050 00 $aBC108$b.S85
055 3 $aBC108$bS85 1957
070 0 $a140$bSu7
072 0 $aX800
082 00 $a160
084 $a08.33$2bcl
049 $aMAIN
100 1 $aSuppes, Patrick,$d1922-2014.
245 10 $aIntroduction to logic.
260 $aPrinceton, N.J.,$bD. Van Nostrand Co.$c[1957]
300 $a312 pages$billustrations$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
340 $m8vo.$2rdabf
490 1 $aThe University series in undergraduate mathematics
505 0 $aI. Principles of inference and definition : 1. The sentential connectives : Negation and conjunction ; Disjunction ; Implication: conditional sentences ; Equivalence: biconditional sentences ; Grouping and parentheses ; Truth tables and tautologies ; Tautological implication and equivalence -- 2. Sentential theory of inference : Two major criteria of inference and sentential interpretations ; The three sentential rules of derivation ; Some useful tautological implications ; Consistency of premises and indirect proofs -- 3. Symbolizing everyday language : Grammar and logic ; Terms ; Predicates ; Quantifiers ; Bound and free variables ; A final example -- 4. General theory of inference : Inference involving only universal quantifiers ; Interpretations and validity ; Restricted inferences with existential quantifiers ; Interchange of quantifiers ; General inferences ; Summary of rules of inference -- 5. Further rules of inference : Logic of identity ; Theorems of logic ; Derived rules of inference -- 6. Postscript on use and mention : Names and things named ; Problems of sentential variables ; Juxtaposition of names -- 7. Transition from formal to informal proofs : General considerations ; Basic number axioms ; Comparative examples of formal derivations and informal proofs ; Examples of fallacious informal proofs ; Further examples of informal proofs -- 8. Theory of definition : Traditional ideas ; Criteria for proper definitions ; Rules for proper definitions ; Definitions which are identities ; The problem of division by zero ; Conditional definitions ; Five approaches to division by zero ; Padoa's principle and independence of primitive symbols.
505 0 $aII. Elementary intuitive set theory : 9. Sets : Introduction ; Membership ; Inclusion ; The empty set ; Operations of sets ; Domains of individuals ; Translating everyday language ; Venn diagrams ; Elementary principles about operations on sets -- 10. Relations : Ordered couples ; Definition of relations ; Properties of binary relations ; Equivalence relations ; Ordering relations ; Operations on relations -- 11. Functions : Definition ; Operations on functions ; Church's lambda notation -- 12. Set-theoretical foundations of the axiomatic method : Introduction ; Set-theoretical predicates and axiomatizations of theories ; Isomorphism of models for a theory ; Example: probability ; Example: mechanics.
583 $acommitment to retain$c20151208$2pda$5OTUTLD
504 $aIncludes bibliographical references and index.
590 $bInternet Archive - 2
590 $bInternet Archive 2
650 0 $aLogic.
650 6 $aLogique.
650 7 $aLogic.$2fast$0(OCoLC)fst01002014
650 17 $aLogica.$2gtt
650 7 $aLogique.$2ram
776 08 $iOnline version:$aSuppes, Patrick, 1922-$tIntroduction to logic.$dPrinceton, N.J., D. Van Nostrand Co. [1957]$w(OCoLC)644445247
830 0 $aUniversity series in undergraduate mathematics.
938 $aBrodart$bBROD$n38093642$c$29.00
994 $a92$bERR
976 $a31927000284841