Independent instances for some undecidable problems
Infinite terms and a system of natural deduction
La fonction logique de Hilbert à travers les «Grundlagen der Mathematik»
L'axiomatisation de la syntaxe et le second theorem de Gödel
Non-extensional equality
On a unification problem related to Kreisel's conjecture
On an extremely restricted ω-rule
On computable real functions
On convergence of the Fourier series of a constructive function of weakly bounded variation
On hereditarily separable Hausdorff spaces in the constructible universe
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
On local proof restrictions for strong theories [Book]
On necessary but not-sufficient conditions.
On the Goldbach conjecture and the consistency of general recursive arithemetic.
Operazioni di Brouwer e realizzabilità formalizzata
Provability in the alternative set theory
Recursive Arithmetic of Skolem II.
Semisemiological structure of the prime numbers and conditional Goldbach theorems.
Solution to a problem of Gandy's
Some constructive topological properties of function spaces