01745nam 2200421 450 00001114920050718115400.0Mathematical logic and fooundations. Proof theory, general20020715d1978----km-y0itay0103----baengGBProof in mathematics ('if', 'then' and 'perhaps')a collection of material illustrating the nature and variety of the idea of proof in mathematicsP. R. Baxandall ... [et. al.]KeeleUniversity of Keelec1978-2v.ill.21 cm.Part I. - 1978. - V, 52 p.Part II. - 1978. - P. 53-130DidatticaLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03F03Baxandall,P. R.440726ITUniversità della Basilicata - B.I.A.RICAunimarc000011149Proof in mathematics ('if', 'then' and 'perhaps'78986UNIBASMONSCIMONOGRSCIENZEEXT0020120020715BAS011519EXT0020120020715BAS011624EXT0020120020717BAS01161620050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT66694S6669420020715^IV, 5251RiservatiPart IBAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT66695S6669520020715^II53-13051RiservatiPart II