01904nam0 22004453i 450 VAN027456720240515033851.255N978303087341720240408d2021 |0itac50 baengCH|||| |||||Aristotelian Assertoric SyllogisticIncorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic LogicMohamed A. AmerChamSpringer2021xvi, 98 p.ill.24 cm001VAN02116052001 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>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0274567BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 8150 08eMF8150 20240412 Aristotelian Assertoric Syllogistic2804343UNICAMPANIA