00797nam0-22002771i-450-99000127467040332120070524113558.0000127467FED01000127467(Aleph)000127467FED0100012746720001205d1965----km-y0itay50------baengNatural deductiona proof-theoretical studyDag PrawitzStoccolmaAlmqvist & Wiksell1965Acta Universitatis StockholmiensisStockholm Studies in PhilosophyLogica matematica511.3Prawitz,Dag49914ITUNINARICAUNIMARCBK99000127467040332111-M-514184MA1MA1Natural Deduction341068UNINA