Extensions of First-Order Logic


Book Description

An introduction to many-sorted logic as an extension of first-order logic.










Logic Primer


Book Description







An introduction to logic


Book Description