Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies e-bog
260,50 DKK
(inkl. moms 325,62 DKK)
E-bog
260,50 DKK
Forlag
Springer
Udgivet
14 november 2006
Genrer
PBC
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540386490