Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
An Invitation to Model Theory (Bog, Paperback / softback, 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 illustrated... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Goal-based Reasoning for Argumentation (Bog, Paperback / softback, Engelsk)Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action selected as a means, to arrive at a decision on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Goal-based Reasoning for Argumentation (Bog, Hardback, Engelsk)Practical argumentation is intelligent reasoning from an agent's goals and known circumstances, and from an action selected as a means, to arrive at a decision on... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I (Bog, Hardback, Engelsk)Games, Scales, and Suslin Cardinals is the first of a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
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.
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.
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)
