Extensions of First-Order Logic

Extensions of First-Order Logic PDF Author: Maria Manzano
Publisher: Cambridge University Press
ISBN: 9780521354356
Category : Computers
Languages : en
Pages : 414

Get Book Here

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