01002nam0-22003611i-450-9900013283404033210-521-63107-6000132834FED01000132834(Aleph)000132834FED0100013283420000920d1999----km-y0itay50------baengPractical foundations of mathematicsPaul TaylorCambridge [etc.]Cambridge University Pressc1999xi, 572 p.24 cmCambridge studies in advanced mathematics59Teoria della categoriaLogica matematicaStrutture ordinate511.3Taylor,Paul350655ITUNINARICAUNIMARCBK990001328340403321C-43-(5916958MA1MA118-XX03-XX06-XXPractical foundations of mathematics376338UNINAING01