01418nam 2200397 450 00001112520070503173200.020020710d1965----km-y0itay0103----baengDETerm logic with choice operatorrevised and enlarged translation of the first German editionHans Hermes1 0002654Berlin [etc.]Springer196555 p.26 cm.Lecture Notes in Mathematics6Logica matematica511.3(20. ed.)Logica matematica (Logica simbolica)03BxxMathematical logic and foundations. General logicHermes,Hans42101ITUniversità della Basilicata - B.I.A.RICAunimarc000011125Term logic with choice operator79028UNIBASMONSCIMONOGRSCIENZEEXT0020120020710BAS011325EXT0030120030508BAS01152420050601BAS011754batch0120050718BAS01105020050718BAS01111020050718BAS01114020050718BAS011154BATCH0020070503BAS011732BAS01BAS01BOOKBASA1Polo Storico-UmanisticoGENCollezione generaleIC62146S621462002071002Prestabile Generale