02817nam0 22005893i 450 VAN027494420240529120420.892N978303053654120240415d2021 |0itac50 baengCH|||| |||||Mathematics, Logic, and their PhilosophiesEssays in Honour of Mohammad ArdeshirMojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editorsChamSpringer2021xviii, 483 p.ill.24 cm001VAN02749452001 Logic, Epistemology, and the Unity of Science210 Berlin [etc.]Springer4903-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B30Festschriften [MSC 2020]VANC022532MF03BxxGeneral logic [MSC 2020]VANC024425MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MFArabic LogicKW:KArabic Philosophy of MathematicsKW:KAvicenna on Deductions from Contradictory PremisesKW:KBasic LogicKW:KBinary Modal Companions for Subintuitionistic LogicsKW:KBounded Distributive Lattices with Two SubordinationsKW:KConstructive logicKW:KConstructive mathematicsKW:KIntuitionism to Many-Valued Logics through Kripke ModelsKW:KIntuitionistic LogicKW:KIntuitionistic Logic of LanguageKW:KIntuitionistic Philosophy of MathematicsKW:KMohammad ArdeshirKW:KNon-Conditional Contracting ConnectivesKW:KResiduated Expansions of Lattice-Ordered StructuresKW:KStruggle between Syntax and Semantics in MathematicsKW:KSubstructural LogicKW:KTermination Condition of Gossip ProtocolsKW:KUnification in basic logicKW:KCHChamVANL001889MojtahediMojtabaVANV227413RahmanShahidVANV227414ZarepourMohammad SalehVANV227415Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-030-53654-1E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0274944BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8314 08eMF8314 20240430 Mathematics, logic, and their philosophies2845172UNICAMPANIA