Dick de Jongh

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 8

Top Topics

Valued Semantics

Intuitionistic Logic

Proof Procedures

Top Venues

Bull. Symb. Log.

Publications