Ergebnisse zu
Logik / Mengenlehre

A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206)

Foundations, Frameworks, and Applications

Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series

Understand and Implement Effective PCI Data Security Standard Compliance

Modern Foundations with Practical Applications

Gödel's Shorthand Notes & Lectures on Incompleteness

With Applications in Computer Science

A Prelude to Advanced Mathematics

Fundamental Notions, Theorems, and Techniques