3599:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
- Format: Inbunden
- ISBN: 9789810232672
- Språk: Engelska
- Antal sidor: 452
- Utgivningsdatum: 1999-07-01
- Förlag: World Scientific Publishing Co Pte Ltd