LEADER 01573nam2 2200349 i 450 
001 VAN00055646
005 20240806100511.21
010   $a88-7088-123-7
100   $a20061109d1987       |0itac50      ba
101   $aeng
102   $aIT
105   $a||||    |||||
200 0 $a1$fJean-Yves Girard
210   $aNapoli$cBibliopolis$d1987
215   $a503 p.$d25 cm
410  1$1001VAN00055648$12001 $aStudies in proof theory$1210  $aNapoli$cBibliopolis$v1
461  1$1001VAN00055647$12001 $aProof theory and logical complexity$fJean-Yves Girard$1210  $aNapoli$cBibliopolis$d1987- $1215  $avolumi$d25 cm$v1
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
620   $dNapoli$3VANL000005
700  1$aGirard$bJean Y.$3VANV044132$0730488
712   $aBibliopolis$3VANV108827$4650
790  1$aGirard, Jean Yves$zGirard, Jean Y.$3VANV060537
790  1$aGirard, J. Y.$zGirard, Jean Y.$3VANV060539
790  1$aGirard, J.Y.$zGirard, Jean Y.$3VANV060540
801   $aIT$bSOL$c20260130$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Girard - Proof theory and logical complexity - vol.1.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00055646
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1604        $e08   5004      I       20061109            
996   $a1$93655287
997   $aUNICAMPANIA