for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Bemærk: Kan ikke leveres før jul.
The second was a combination of a summer school and workshop on the... Læs mere
Bemærk: Kan ikke leveres før jul.
The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra.
Bemærk: Kan ikke leveres før jul.
This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in... Læs mere