Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Häftad, 1981
386 kr
416 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).