Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Chapter 6 investigates the important role of separation axioms in lattice-valued topology from the perspective of space embedding and... Læs mere
Bemærk: Kan ikke leveres før jul.
George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer.
Bemærk: Kan ikke leveres før jul.
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book covers new aspects and frameworks of control, design, and optimization based on the TP model transformation and its various extensions.... Læs mere
Bemærk: Kan ikke leveres før jul.
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science.
Bemærk: Kan ikke leveres før jul.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes.
Bemærk: Kan ikke leveres før jul.
Band VII der Hausdorff Edition widmet sich dem philosophischen Werk F.... Læs mere
Bemærk: Kan ikke leveres før jul.
The book offers a valuable resource for readers involved in theoretical research and practical applications... Læs mere