| Record ID | marc_loc_2016/BooksAll.2016.part32.utf8:174789102:1067 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part32.utf8:174789102:1067?format=raw |
LEADER: 01067cam a22003254a 4500
001 2005051968
003 DLC
005 20061229083555.0
008 050812r20061965nyua b 001 0 eng
010 $a 2005051968
020 $a0486446557 (pbk.)
020 $a9780486446554
035 $a(OCoLC)ocm61296001
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aBC71$b.P68 2006
082 00 $a162$222
100 1 $aPrawitz, Dag.
245 10 $aNatural deduction :$ba proof-theoretical study /$cDag Prawitz.
250 $aDover ed.
260 $aMineola, N.Y. :$bDover Publications,$c2006.
300 $aviii, 113 p. :$bill. ;$c22 cm.
440 0 $aDover books on mathematics
500 $aOriginally published: Stockholm : Almqvist & Wiksell, 1965.
504 $aIncludes bibliographical references (p. [106]-109) and indexes.
650 0 $aLogic.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aModality (Logic)
600 10 $aGentzen, Gerhard.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0644/2005051968-d.html