Record ID | marc_loc_updates/v40.i27.records.utf8:5554838:806 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v40.i27.records.utf8:5554838:806?format=raw |
LEADER: 00806cam a2200241 a 4500
001 2011048086
003 DLC
005 20120629094758.0
008 111128s2012 enk b 001 0 eng
010 $a 2011048086
020 $a9780230247741 (alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.54$b.L36 2012
082 00 $a511.3/6$223
100 1 $aLandini, Gregory.
245 10 $aFrege's notations :$bwhat they are and how they mean /$cGregory Landini.
260 $aHoundmills, Basingstoke, Hampshire ;$aNew York :$bPalgrave Macmillan,$cc2012.
300 $axi, 194 p. ;$c22 cm.
504 $aIncludes bibliographical references (p. 187-190) and index.
650 0 $aProof theory.
650 0 $aMathematical notation.
650 0 $aLogic, Symbolic and mathematical.
600 10 $aFrege, Gottlob,$d1848-1925.