LEADER 00816nam  2200277   450 
001 9910753800603321
005 20231114133222.0
010   $a88-7088-228-4
100   $a20231114d1992----u  y0engy50    ba
101 0 $aeng
102   $aIT
105 0 $a        001yy
200 1 $aSelected papers in proof theory$fGrigorii E. Mints
210   $aNapoli$aAmsterdam$cBibliopolis$cNorth-Holland$d1992
215   $a294 p.$d23 cm
225 1 $aStudies in proof theory$iMonographs$v3
610 0 $aTeoria della dimostrazione
676   $a511.3
700  1$aMints,$bGregorii E.$01433299
801  2$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a9910753800603321
952   $a10 DO 210 TA$bDONOTAMBURRINI210/23$fDINEL
959   $aDINEL
996   $aSelected papers in proof theory$93580363
997   $aUNINA