Wilfried Buchholz
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981/01/01 by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers +1 · 119 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Inductive method #Iterated function #Mathematical analysis #Mathematical economics #Mathematics #Mathematics education #Medicine #Neural Networks and Applications #Pure mathematics #Rough Sets and Fuzzy Logic