| Record ID | marc_loc_2016/BooksAll.2016.part18.utf8:57832161:723 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:57832161:723?format=raw |
LEADER: 00723nam a2200241 a 4500
001 87134107
003 DLC
005 19880503112523.7
008 870422s1986 it b 00010 eng
010 $a 87134107
020 $a8870881490 (pbk.) :$cL35.000
040 $aDLC$cDLC$dDLC
050 00 $aQA9.54$b.J34 1986
082 00 $a511.3$219
100 10 $aJäger, Gerhard,$cDr.
245 10 $aTheories for admissible sets :$ba unifying approach to proof theory /$cGerhard Jäger.
260 0 $aNapoli :$bBibliopolis,$c1986.
300 $a167 p. ;$c24 cm.
440 0 $aStudies in proof theory ;$v2
500 $aHabilitationsschrift.
504 $aBibliography: p. 162-167.
650 0 $aProof theory.
650 0 $aAdmissible sets.