| Record ID | marc_loc_2016/BooksAll.2016.part06.utf8:132734422:930 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part06.utf8:132734422:930?format=raw |
LEADER: 00930cam a22002891 4500
001 67122472
003 DLC
005 20050418182830.0
008 720808s1965 sw a b 000 0 eng
010 $a 67122472
035 $a(OCoLC)375477
040 $aDLC$cODaWU$dOCoLC$dDLC
042 $apremarc
050 00 $aBC71$b.P68
082 $a160
100 1 $aPrawitz, Dag.
245 10 $aNatural deduction;$ba proof-theoretical study.
260 $aStockholm,$bAlmqvist & Wiksell$c[1965]
300 $a113 p.$billus.$c24 cm.
490 1 $aActa Universitatis Stockholmiensis. Stockholm studies in philosophy,$v3
502 $aAkademisk avhandling--Stockholm. Universitet.
504 $aBibliography: p. [106]-109.
650 0 $aLogic.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aModality (Logic)
600 10 $aGentzen, Gerhard.
830 0 $aActa Universitatis Stockholmiensis.$pStockholm studies in philosophy ;$v3.