01664nam0 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>VANV108073650ITSOL20240906RICAhttps://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 FISICA08CONS e-book 5509 08eMF5509 20230303 Eine Termlogik mit Auswahloperator3008734UNICAMPANIA