01032nam0-22003611i-450-9900013180704033210-521-37181-3000131807FED01000131807(Aleph)000131807FED0100013180720000920d1989----km-y0itay50------baengProofs and TypesJean-Yves GirardCambridgeCambridge University Press1989XI, 176 p., 26 cmCambridge tracts in theoretical computer science7Reprinted with minor corrections 1990.Teoria della dimostrabilitaLogica combinatoria e calcolo lambdaLogica di programmazione511.3Girard,Jean-Yves59717ITUNINARICAUNIMARCBK990001318070403321120-M-1910511MA1MA103F0303B40Proofs and Types382479UNINAING01