01022nam0-2200349-i-450-99000882035040332120090819105857.0978-0-444-51584-1000882035FED01000882035(Aleph)000882035FED0100088203520090306d2008----km-y0itay50------baengNLa---a---001yyRealizability : an introduction to its categoricl sideJaap van OostenAmsterdamElsevierc2008XVI, 310 p.24 cmStudies in logic and the foundations of mathematics152Logica categorialeLogica algebrica511.3321itaOosten,Jaap : van316194ITUNINARICAUNIMARCBK990008820350403321C-30-(15223153MA1MA103G30Realizability : an introduction to its categoricl side807011UNINA