01236nam 2200361 450 00001495520050718115600.020030711d1965----km-y0itay0103----bagerDE<<Eine>> Termlogik mit AuswahloperatorHans HermesBerlin [etc.]Springer196542 p.30 cm.Lecture notes in mathematics62001Lecture notes in mathematicsLogica matematica511.3(21. ed.)Logica matematica (Logica simbolica)03-XXMathematical logic and foundationHermes,Hans42101ITUniversità della Basilicata - B.I.A.RICAunimarc000014955Termlogik mit Auswahloperator83203UNIBASMONSCISCIENZEEXT0020120030711BAS01125920050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT1812S18122003071151Riservati