If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jeroen Goudsmit is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Admissibility
Admissible Rule
Equivalence
If and only if
Intermediate Logics
Intuitionistic Logic
Logic
Semantics
Tie

Engineering & Materials Science

Mints
Semantics