01053nam a2200301 i 4500991002499239707536cr nn 008mamaa140428s1965 gw | s |||| 0|eng d9783540362036b14184205-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023AMS 03-02AMS 03BAMS 03C80Hermes, Hans42101Eine Termlogik mit Auswahloperator[e-book] /by Hans HermesBerlin :Springer,19651 online resource (vi, 46 p.)Lecture Notes in Mathematics,0075-8434 ;6MathematicsSpringer eBookshttp://dx.doi.org/10.1007/978-3-540-36203-6An electronic book accessible through the World Wide Web.b1418420503-03-2224-04-14991002499239707536Eine Termlogik mit Auswahloperator3008734UNISALENTOle01324-04-14m@ -enggw 00