LEADER 01022nam0-2200349-i-450-
001 990008820350403321
005 20090819105857.0
010   $a978-0-444-51584-1
035   $a000882035
035   $aFED01000882035
035   $a(Aleph)000882035FED01
035   $a000882035
100   $a20090306d2008----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aRealizability : an introduction to its categoricl side$fJaap van Oosten
210   $aAmsterdam$cElsevier$dc2008
215   $aXVI, 310 p.$d24 cm
225 1 $aStudies in logic and the foundations of mathematics$v152
610 0 $aLogica categoriale
610 0 $aLogica algebrica
676   $a511.33$v21$zita
700  1$aOosten,$bJaap : van$0316194
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008820350403321
952   $aC-30-(152$b23153$fMA1
959   $aMA1
962   $a03G30
996   $aRealizability : an introduction to its categoricl side$9807011
997   $aUNINA