00731nam0-22002771i-450-99000361825040332120001010000361825FED01000361825(Aleph)000361825FED0100036182520000920d1953----km-y0itay50------baitay-------001yyUnity and diversity in European LaborA. SturmthalGlencons.e.1953Sturmthal,Adolf137834ITUNINARICAUNIMARCBK990003618250403321SE 041.04.025-368DECSEDECSEUnity and diversity in European Labor501910UNINAING0101664nam0 22004213i 450 VAN0025519420240806101443.339N978354036203620230223d1970 |0itac50 baengDE|||| |||||Term Logic with Choice OperatorHans HermesRev. and Enl. Transl. of the 1. German EdBerlinSpringer197055 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer6VAN00255196Eine Termlogik mit Auswahloperator300873403-XXMathematical logic and foundations [MSC 2020]VANC019750MFCalculusKW:KChoiceKW:KMathematical logicKW:KPredicate logicKW:KProofsKW:KSelection operatorsKW:KTheoremKW:KVariablesKW:KBerlinVANL000066HermesHansVANV20745842101Springer <editore>VANV108073650ITSOL20250321RICAhttps://doi.org/10.1007/978-3-540-36203-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00255194BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5509 08eMF5509 20230303 Eine Termlogik mit Auswahloperator3008734UNICAMPANIA