When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
By Maria Manzano. Author Maria Manzano. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. Extensions of First-Order Logic. An introduction to many-sorted logic as an extension of first-order logic.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.