01906nam0 22004453i 450 VAN0027456720240806101540.68N978303087341720240408d2021 |0itac50 baengCH|||| |||||Aristotelian Assertoric SyllogisticIncorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic LogicMohamed A. AmerChamSpringer2021xvi, 98 p.ill.24 cm001VAN002116052001 SpringerBriefs in Philosophy210 BerlinSpringer03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MFAlgebriazationKW:KArithmetizationKW:KAxiomatizationKW:KDecidatbilityKW:KIndependence and InadequacyKW:KModels and Order ModelsKW:KNatural deductionKW:KSoritesKW:KSoundness and CompletenessKW:KStructuresKW:KVenn ModelsKW:KCHChamVANL001889AmerMohamed A.VANV2269991214433Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-3-030-87341-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00274567BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 8150 08eMF8150 20240412 Aristotelian Assertoric Syllogistic2804343UNICAMPANIA