for at udvide
kategorilisten.
Matematikkens fundament
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
A Framework for Priority Arguments (Bog, Hardback, Engelsk)This book presents a unifying framework for using priority arguments to prove theorems in computability.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Finite and Algorithmic Model Theory (Bog, Paperback / softback, Engelsk)Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Forcing with Random Variables and Proof Complexity (Bog, Paperback / softback, Engelsk)Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Fast Track to Forcing (Bog, Hardback, Engelsk)This book provides a quick yet detailed introduction to set theory and forcing, building the reader's intuition about it as well as rigorousness. Part II discusses contemporary issues in the theory of forcing, including previously unpublished results and open questions.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Exploring Mathematics: An Engaging Introduction to Proof (Bog, Hardback, Engelsk)The transition from predominantly computational courses to upper-level math requires the development of skills, including reading and writing... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Fourier Analysis: Volume 1, Theory (Bog, Paperback / softback, Engelsk)A two-volume advanced text for graduate students. This first volume covers the theory of Fourier analysis.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Effective Mathematics of the Uncountable (Bog, Hardback, Engelsk)This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Elements of Logical Reasoning (Bog, Paperback / softback, 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.
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Bog, Hardback, Engelsk)This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A Course on Set Theory (Bog, Paperback / softback, Engelsk)This fresh approach blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. The author, an... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Conceptual Mathematics: A First Introduction to Categories (Bog, Paperback / softback, Engelsk)Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists based on a leisurely... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Dependence Logic: A New Approach to Independence Friendly Logic (Bog, Paperback / softback, Engelsk)Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
