One-and-a-halfth-order logic

M.J. Gabbay, A.H.J. Mathijssen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    16 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'One-and-a-halfth-order logic'. Together they form a unique fingerprint.

    Arts & Humanities