Logic Working Group. Common Logic: Abstract syntax and semantics (0)

by Common