Record ID | ia:languageprooflog0000bark |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/languageprooflog0000bark/languageprooflog0000bark_marc.xml |
Download MARC binary | https://www.archive.org/download/languageprooflog0000bark/languageprooflog0000bark_meta.mrc |
LEADER: 00938cam a22002898a 4500
001 2011019703
003 DLC
005 20111118081727.0
008 110518s2011 cau 001 0 eng
010 $a 2011019703
020 $a9781575866321 (pbk. : alk. paper)
040 $aDLC$cDLC
042 $apcc
050 00 $aBC71$b.B25 2011
082 00 $a160$223
100 1 $aBarker-Plummer, Dave.
245 10 $aLanguage, proof, and logic.
250 $a2nd ed. /$bDave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease.
260 $aStanford, Calif. :$bCSLI Publications,$c2011.
263 $a1107
300 $ap. cm.
500 $aRev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.
500 $aIncludes index.
650 0 $aLogic.
700 1 $aBarwise, Jon.
700 1 $aEtchemendy, John,$d1952-
700 1 $aBarwise, Jon.$tLanguage, proof, and logic.