for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.
Bemærk: Kan ikke leveres før jul.
This book contains selected papers based on talks given at the "Representation Theory, Number Theory, and Invariant Theory" conference held at Yale University from June 1 to June 5, 2015.
Bemærk: Kan ikke leveres før jul.
This introduction to modern set theory opens the way to advanced current research. Coverage includes the axiom of choice and Ramsey theory, and a detailed explanation of the sophisticated technique of forcing. Offers notes, related results and references.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Oceanic logic was never identified as such, but the author gives numerous examples of its use from the history of philosophy. The author first worked in analytic logic in the 1970s... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This interdisciplinary book covers a wide range of subjects, from pure mathematics... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This text covers cardinal number valued functions defined for any Boolean algebra such as cellularity. It explores the behavior of these functions under algebraic operations such as products, free products, ultraproducts and their relationships to each other.
Bemærk: Kan ikke leveres før jul.
Ramsey Theory for Discrete Structures
Bemærk: Kan ikke leveres før jul.
The study of linear positive operators is an area of mathematical studies with significant relevance to studies of computer-aided geometric design,... Læs mere