Recursive Mathematics - Volume 1 Recursive Model Theory
Hyperarithmetictheoryisthefirststepbeyondclassicalrecursiontheory.Itistheprimarysourceofideasandexamplesinhigherrecursiontheory.Itisalsoacrossroadforseveralareasofmathematicallogic:insettheoryitisaninitialsegmentofGodel'sL;inmodeltheory,theleastadmissiblesetafter;indescript
下载地址
用户评论
