Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This text concentrates on the typical methods of modern set theory: transfinite induction, Zorn's Lemma, the Continuum Hypothesis, Martin's Axiom, the Diamond... Læs mere
Bemærk: Kan ikke leveres før jul.
This book describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between... Læs mere
Bemærk: Kan ikke leveres før jul.
This edition offers a more instructive Preface to assist instructors on developing the course they prefer. The prerequisites are more explicit and provide a roadmap for the course. Sample syllabi are included.
Bemærk: Kan ikke leveres før jul.
An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order... Læs mere
Bemærk: Kan ikke leveres før jul.
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a.
Bemærk: Kan ikke leveres før jul.
This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also... Læs mere
Bemærk: Kan ikke leveres før jul.
This Element will offer a concise introduction to set theory, a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, pure and applied.
Bemærk: Kan ikke leveres før jul.
Few mathematical results capture the imagination like Georg Cantor's theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular... Læs mere
Bemærk: Kan ikke leveres før jul.
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified... Læs mere
Bemærk: Kan ikke leveres før jul.