One-and-a-halfth-order Logic

Murdoch Gabbay, Aad Mathijssen

Research output: Contribution to journalArticlepeer-review

33 Citations (Scopus)

Fingerprint

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

INIS

Computer Science

Mathematics