01573nam2 2200349 i 450 VAN0005564620240806100511.2188-7088-123-720061109d1987 |0itac50 baengIT|||| |||||1Jean-Yves GirardNapoliBibliopolis1987503 p.25 cm001VAN000556482001 Studies in proof theory210 NapoliBibliopolis1001VAN000556472001 Proof theory and logical complexityJean-Yves Girard210 NapoliBibliopolis1987- 215 volumi25 cm103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFNapoliVANL000005GirardJean Y.VANV044132730488BibliopolisVANV108827650Girard, Jean YvesGirard, Jean Y.VANV060537Girard, J. Y.Girard, Jean Y.VANV060539Girard, J.Y.Girard, Jean Y.VANV060540ITSOL20260130RICA/sebina/repository/catalogazione/documenti/Girard - Proof theory and logical complexity - vol.1.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055646BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1604 08 5004 I 20061109 13655287UNICAMPANIA