Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Quantum Computation (Bog, Hardback, Engelsk)This book presents the mathematics of quantum computation. The purpose is to introduce the topic of quantum computing to students in computer science, physics and mathematics who have no prior knowledge of this field.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The History of Mathematical Proof in Ancient Traditions (Bog, Hardback, Engelsk)This radical volume explores the purposes and nature of proof in a range of historical settings, overturning the view that the first mathematical... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Finite Ordered Sets: Concepts, Results and Uses (Bog, Hardback, Engelsk)As the first book to focus exclusively on finite ordered sets, this book will be welcomed by graduate students and researchers. After defining key concepts... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modal Logic for Philosophers (Bog, Hardback, Engelsk)This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Elements of Logical Reasoning (Bog, Hardback, Engelsk)This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A Guide to NIP Theories (Bog, Hardback, Engelsk)This book, the first on the rapidly expanding topic of NIP theories, gives an accessible introduction to the subject for students and researchers in model theory and related... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Groups, Languages and Automata (Bog, Hardback, Engelsk)Many connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Any necessary background material is provided, and... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Invitation to Model Theory (Bog, Hardback, Engelsk)In this innovative and largely self-contained textbook, Jonathan Kirby brings model theory to an undergraduate audience. The highlights of basic model theory are... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995 (Bog, Hardback, Engelsk)This volume presents the conference proceedings of the 1995 Annual... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Bounded Variable Logics and Counting: A Study in Finite Models (Bog, Hardback, Engelsk)This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A General Algebraic Semantics for Sentential Logics (Bog, Hardback, Engelsk)This monograph is an exposition of the very general approach to the algebraization of sentential logics developed by the Barcelona logic group in the... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy (Bog, Hardback, Engelsk)The proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
