01351nam0-2200433-i-450-99000950407040332120111215102839.00-444-82306-9000950407FED01000950407(Aleph)000950407FED0100095040720111215d1996----km-y0itay50------baengNLa---a---001yyLogical frameworks for truth and abstractionan axiomatic studyAndrea CantiniAmsterdamElsevier1996XII, 461 p.24 cmStudies in logic and the foundations of mathematics135Logica combinatoria e lambda-calcoloLogica matematica e fondamentiPresentazione di ricercheTeoria della dimostrazione, generaleTeoria della computabilità e della ricorsione astratte ed assiomaticheFondamenti delle teorie classiche511.321itaCantini,Andrea45544ITUNINAREICATUNIMARCBK990009504070403321C-30-(13524962MA1MA103B4003-0203F0303D7503B30Logical frameworks for truth and abstraction851553UNINA