This book develops model theory independently of any concrete
logical system or structure, within the abstract category-theoretic
framework of the so called institution theory . The development
includes most of the important methods and concepts of conventional
concrete model theory at the abstract institution-independent
level. Consequently it is easily applicable to a rather large
diverse collection of logics from the mathematical and computer
science practice.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!