01350nam0 22003373i 450 VAN0030128820251223125813.183978-30-319-7809-8N978303197810420251223d2025 |0itac50 baengCH|||| |||||i e bcrAn Introduction to Curry SystemsA Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic LogicJair Minoro AbeChamSpringer2025XI, 122 p.24 cm001VAN001077792001 Intelligent Systems Reference Library210 ChamSpringer2009-280CHChamVANL001889AbeJair MinoroVANV084210739806Springer <editore>VANV108073650ITSOL20251226RICAhttps://doi.org/10.1007/978-3-031-97810-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIAIT-CE0100VAN05NVAN00301288BIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIA05CONS ING EBOOK 533 05EB 533 20251223 An Introduction to Curry Systems4429494UNICAMPANIA