| Record ID | marc_columbia/Columbia-extract-20221130-012.mrc:168200198:1475 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-012.mrc:168200198:1475?format=raw |
LEADER: 01475cam a2200325I 4500
001 5775158
005 20221121203949.0
008 720808s1965 sw a b 000 0 eng
010 $a 67122472
035 $a(OCoLC)ocm00375477
035 $a(NNC)5775158
035 $a5775158
040 $aDLC$cWSU$dSER$dZCU
050 00 $aBC71$b.P68
082 0 $a160
100 1 $aPrawitz, Dag.$0http://id.loc.gov/authorities/names/n94000209
245 10 $aNatural deduction ;$ba proof-theoretical study.
260 $aStockholm :$bAlmqvist & Wiksell,$c[1965]
300 $a113 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aActa Universitatis Stockholmiensis. Stockholm studies in philosophy ;$v3
502 $aAkademisk avhandling--Stockholm. Universitet.
504 $aBibliography: p. [106]-109.
650 0 $aLogic.$0http://id.loc.gov/authorities/subjects/sh85078106
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
650 0 $aModality (Logic)$0http://id.loc.gov/authorities/subjects/sh85086410
600 10 $aGentzen, Gerhard.$0http://id.loc.gov/authorities/names/n88637476
830 0 $aActa Universitatis Stockholmiensis.$pStockholm studies in philosophy ;$v3.$0http://id.loc.gov/authorities/names/n42001119
852 80 $boff,glx$h108$iSt62 t.1-3$zBound with other titles; for a complete listing search by the call number using the Call Number search.