Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz. - Bruno Scarpellini (J. Symb. Log., 1962)

A New Realizability Notion for Intuitionistic Analysis. - Bruno Scarpellini (Math. Log. Q., 1977)

Predicting the Future of Functions on Flows. - Bruno Scarpellini (Math. Syst. Theory, 1979)

Second order spectra. - Bruno Scarpellini (Logic and Machines, 1983)

Complete Second Order Spectra. - Bruno Scarpellini (Math. Log. Q., 1984)

Lower bound results on lengths of second-order formulas. - Bruno Scarpellini (Ann. Pure Appl. Log., 1985)

Complex Boolean Networks Obtained by Diagonalization. - Bruno Scarpellini (Theor. Comput. Sci., 1985)

A Class of EXP-Time Machines which can be Simulated by Polytape Machines. - Bruno Scarpellini (Computation Theory and Logic, 1987)

Two Undecidable Problems of Analysis. - Bruno Scarpellini (Minds Mach., 2003)

Comments on 'Two Undecidable Problems of Analysis'. - Bruno Scarpellini (Minds Mach., 2003)

Recursive analysis of singular ordinary differential equations. - Peter Buser; Bruno Scarpellini (Ann. Pure Appl. Log., 2010)

Undecidability through Fourier series. - Peter Buser; Bruno Scarpellini (Ann. Pure Appl. Log., 2016)