00928nam0-22003371i-450-9900014933304033210-7923-6180-6000149333FED01000149333(Aleph)000149333FED0100014933320020412d2000----km-y0itay50------baengNLa---a---001yyHistory and philosophy of constructive type theoryG. SommarugaDordrechtKluwerc2000x, 354 p.24 cmSyntese Library290FilosofiaTeoriaLogica matematica511.3Sommaruga,Giovanni66496ITUNINARICAUNIMARCBK990001493330403321C-25-(19018869MA1MA103-XXHistory and philosophy of constructive type theory377782UNINA