Computer Programming and Formal Systems

Computer Science -- Theory and Applications

Fields of Logic and Computation II

Logic, Language, Information and Computation

Provability, Computability and Reflection, Volume 152 (Studies in Logic and the Foundations of Mathematics)

Constructive Order Types

Contributions to Non-Standard Analysis

Provability, Computability and Reflection

Provability, Computability and Reflection Vol. II