01089nam0-22003731i-450-9900014933404033210-7923-6544-5000149334FED01000149334(Aleph)000149334FED0100014933420020412d2000----km-y0itay50------baengNLa---a---101yyProof theory: history abd philosophical significanceV. F. Hendrichs, S.A. Pedersen, K.F. Jorgensen, editorsDordrechtKluwerc2000xii, 244 p.24 cmSyntese Library292FilosofiaStoriacongressiLogica matematicaCongressi511.321510.1Hendricks,VincentJorgensen,FrovinPedersen,Stig AndurITUNINARICAUNIMARCBK990001493340403321C-25-(29218863MA1MA103XXProof theory: history abd philosophical significance377781UNINA