01136nam0-2200385-i-450-99000950427040332120111215123723.00-444-89840-9hardback000950427FED01000950427(Aleph)000950427FED0100095042720111215d1998----km-y0itay50------baengNLa---a---001yyHandbook of proof theoryedited by Samuel R. BussAmsterdamElsevier1998811 p.24 cmStudies in logic and the foundations of mathematics137Logica matematica e fondamentiOpere di riferimento generaleTeoria della dimostrazioneGeneraleCollezioni di articoli di contenuto specifico vario511.321itaBuss,Samuel R.ITUNINAREICATUNIMARCBK990009504270403321C-30-(13724964MA1MA103-0003F0300B15Handbook of proof theory851496UNINA