Wilfrid Hodges

J. Log. Comput.

Rev. Symb. Log.

Log. J. IGPL

Fields of Logic and Computation III

Logica Universalis

Rev. Symb. Log.

FLAP

Advances in Proof-Theoretic Semantics

Dependence Logic

Logic Without Borders

Proof, Computation and Agency

Proof, Computation and Agency

Ann. Pure Appl. Log.

J. Comput. Syst. Sci.

Fields of Logic and Computation

Ann. Pure Appl. Log.

J. Philos. Log.

WoLLIC

Log. J. IGPL

We Will Show Them! (2)

Ann. Pure Appl. Log.

Electronic Information and Communication in Mathematics

J. Log. Lang. Inf.

J. Symb. Log.

Bull. Symb. Log.

Notre Dame J. Formal Log.

Concepts for Neural Networks

Log. J. IGPL

J. Log. Lang. Inf.

Logic Colloquium

J. Log. Comput.

J. Symb. Log.

J. Symb. Log.

J. Symb. Log.

J. Symb. Log.

Arch. Math. Log.

J. Symb. Log.