MARC Record from Marygrove College

LEADER: 03459cam a22006731 4500
001 ocm00526475
003 OCoLC
005 20191109073437.1
008 840517s1963 nyua b 000 0 eng
010 $a 61017746
040 $aDLC/ICU$beng$cCGU$dUKM$dMUQ$dNLGGC$dDRB$dAU@$dNIALS$dHVC$dDEBBG$dZWZ$dTULIB$dUKMGB$dOCLCF$dOCLCO$dOCLCQ$dDHA$dOCLCQ$dOCLCO$dCSJ$dOCLCO$dXFF$dOCLCO$dCSA$dOCLCO$dOCLCQ$dOCLCO$dCNO$dOCLCO$dCPO$dOCLCQ$dOCLCO$dOCLCA$dIVU
015 $aGB6307966$2bnb
016 7 $a000839833$2Uk
016 7 $a006999499$2Uk
029 1 $aAU@$b000002688698
029 1 $aAU@$b000024066612
029 1 $aAU@$b000054018977
029 1 $aDEBBG$bBV002741671
029 1 $aDEBSZ$b001329936
029 1 $aGBVCP$b196723124
029 1 $aNZ1$b2944044
029 1 $aNZ1$b624740
029 1 $aUKMGB$b000839833
029 1 $aUKMGB$b006999499
035 $a(OCoLC)00526475
050 00 $aQA9$b.C85
082 00 $a510.1
084 $a511.3$222
084 $a31.10$2bcl
084 $aCC 2600$2rvk
084 $aQH 120$2rvk
084 $aSK 130$2rvk
049 $aMAIN
100 1 $aCurry, Haskell B.$q(Haskell Brooks),$d1900-1982.
245 10 $aFoundations of mathematical logic.
260 $aNew York,$bMcGraw-Hill$c[1963]
300 $a408 pages$billustrations$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
340 $m8vo.$2rdabf
490 1 $aMcGraw-Hill series in higher mathematics
504 $aIncludes bibliographical references.
505 0 $aFormal systems -- Epitheory -- Relational logical algebra -- The theory of implication -- Negation -- Quantification -- Modality
520 $aA comprehensive account of the constructive theory of the first-order predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.--From publisher description.
590 $bInternet Archive - 2
590 $bInternet Archive 2
650 0 $aLogic, Symbolic and mathematical.
650 6 $aLogique symbolique et mathématique.
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 17 $aWiskundige logica.$2gtt
650 7 $aAussagenlogik$2gnd
650 7 $aEinführung$2gnd
650 7 $aMathematische Logik$2gnd
650 7 $aLogique symbolique et mathématique.$2ram
776 08 $iOnline version:$aCurry, Haskell B. (Haskell Brooks), 1900-1982.$tFoundations of mathematical logic.$dNew York, McGraw-Hill [1963]$w(OCoLC)609594260
830 0 $aMcGraw-Hill series in higher mathematics.
994 $a92$bERR
976 $a31927000284940