LEADER 01610nam0 2200325 i 450 
001 VAN0064701
005 20221206103526.128
010   $a978-01-985369-0-1
100   $a20080526d1993       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aArithmetic, proof theory, and computational complexity$fedited by Peter Clote and Jan Krajicek
210   $aOxford$cClarendon$d1993
215   $aXII, 428 p.$cill.$d24 cm
410  1$1001VAN0029498$12001 $aOxford logic guides$1210  $aOxford$cClarendon$1300  $aL'editore varia in: Oxford university$v23
606   $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF
620   $aGB$dOxford$3VANL000020
702  1$aClote$bPeter G.$3VANV036107
702  1$aKrajicek$bJan$3VANV041836
712   $aClarendon$3VANV107988$4650
801   $aIT$bSOL$c20221209$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Clote, Krajicek - Arithmetic, proof theory, and computational complexity.pdf$zClote, Krajicek - Arithmetic, proof theory, and computational complexity.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0064701
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0865        $e08   8033      I       20080526            
996   $aArithmetic, proof theory, and computational complexity$91416376
997   $aUNISOB