Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
| Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274944 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
| Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274944 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||