Vai al contenuto principale della pagina
| Autore: |
Amer, Mohamed A.
|
| Titolo: |
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic / Mohamed A. Amer
|
| Pubblicazione: | Cham, : Springer, 2021 |
| Descrizione fisica: | xvi, 98 p. : ill. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] | |
| Soggetto non controllato: | Algebriazation |
| Arithmetization | |
| Axiomatization | |
| Decidatbility | |
| Independence and Inadequacy | |
| Models and Order Models | |
| Natural deduction | |
| Sorites | |
| Soundness and Completeness | |
| Structures | |
| Venn Models | |
| Titolo autorizzato: | Aristotelian Assertoric Syllogistic ![]() |
| Formato: | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0274567 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://doi.org/10.1007/978-3-030-87341-7 |
| Opac: | Controlla la disponibilità qui |