01025nam0-2200361---450-99000118260040332120101201170027.088-7088-105-9000118260FED01000118260(Aleph)000118260FED0100011826020001205d1984----km-y0itay50------baengITy-------001yyIntuitionistic type theoryPer Martin-Löfnotes by Giovanni Sambin of a series of lectures given in Padua, June 1980NapoliBibliopolis198491 p.24 cmStudies in proof theory1LogicaRicorsivitàMartin-Löf,Per<1942- >346821Sambin,GiovanniITUNINARICAUNIMARCBK990001182600403321113-G-202688MA17-32123594FI1MA1FI1Intuitionistic type theory342433UNINA