The IBM Type 702, An Electronic Data Processing Machine for Business - Charles J. Bashe; Wilfried Buchholz; Nathaniel Rochester (J. ACM, 1954)

Processing data in bits and pieces. - Frederick P. Brooks Jr.; Gerrit A. Blaauw; Wilfried Buchholz (IFIP Congress, 1959)

Fingers or Fists? (The Choice of Decimal or Binary Representation). - Wilfried Buchholz (Commun. ACM, 1959)

Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik. - Wilfried Buchholz (Arch. Math. Log., 1975)

Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω). - Wilfried Buchholz; Kurt Schütte 001 (Arch. Math. Log., 1975)

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. - Wilfried Buchholz; Wolfram Pohlers (J. Symb. Log., 1978)

A new system of proof-theoretic ordinal functions. - Wilfried Buchholz (Ann. Pure Appl. Log., 1986)

An independence result for (II11-CA)+BI. - Wilfried Buchholz (Ann. Pure Appl. Log., 1987)

Induktive Definitionen und Dilatoren. - Wilfried Buchholz (Arch. Math. Log., 1988)

Notation systems for infinitary derivations. - Wilfried Buchholz (Arch. Math. Log., 1991)

A Uniform Approach to Fundamental Sequences and Hierarchies. - Adam Cichon; Wilfried Buchholz; Andreas Weiermann (Math. Log. Q., 1994)

Proof-Theoretic Analysis of Termination Proofs. - Wilfried Buchholz (Ann. Pure Appl. Log., 1995)

Epsilon substitution method for elementary analysis. - Grigori Mints; Sergei Tupailo; Wilfried Buchholz (Arch. Math. Log., 1996)

Explaining Gentzen's Consistency Proof within Infinitary Proof Theory. - Wilfried Buchholz (Kurt Gödel Colloquium, 1997)

An intuitionistic fixed point theory. - Wilfried Buchholz (Arch. Math. Log., 1997)

A Note on SLDNF-Resolution. - Wilfried Buchholz (J. Log. Comput., 1998)

Explaining the Gentzen-Takeuti reduction steps: a second-order system. - Wilfried Buchholz (Arch. Math. Log., 2001)

Finitary Treatment of Operator Controlled Derivations. - Wilfried Buchholz (Math. Log. Q., 2001)

Refined program extraction form classical proofs. - Ulrich Berger 001; Wilfried Buchholz; Helmut Schwichtenberg (Ann. Pure Appl. Log., 2002)

A term calculus for (co-)recursive definitions on streamlike data structures. - Wilfried Buchholz (Ann. Pure Appl. Log., 2005)

Preface. - Wilfried Buchholz; Reinhard Kahle (Ann. Pure Appl. Log., 2005)