01325nam 2200361 450 00001488920050718115600.020030709d1970----km-y0itay0103----baengfreDESymposium on Automatic Demonstrationedited by M. Laudet ... [et al.]Berlin [etc.]Springer1970310 p.26 cm.Lecture notes in mathematics1252001Lecture notes in mathematicsTeoria della dimostrazioneCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03FxxMathematical logic and foundations. Proof theory and constructive mathematicsLaudet,M.ITUniversità della Basilicata - B.I.A.RICAunimarc000014889Symposium on Automatic Demonstration80496UNIBASMONSCISCIENZEEXT0020120030709BAS01112420050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT1931S19312003070951Riservati