Bemærk: Kan ikke leveres før jul.
The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion... Læs mere
Bemærk: Kan ikke leveres før jul.
Covering modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory,... Læs mere